电影旅行敲代码

C++ 编译 操作系统

clang static analyzer源码分析(番外篇):RegionStore以及evalCall()中的conservativeEvalCall

介绍clang static analyzer对于RegionStore的实现,以及对函数inline时的conservativeEvalCall机制进行分析

2016-10-27 11:38:43

阅读数 1838

评论数 0

clang static analyzer源码分析(番外篇):evalCall()中的inline机制

引子我们在clang static analyzer源码分析(一)中介绍到,path-sensitive analysis的两种形式,一种是inline形式的分析,一种是非inline形式的分析。在静态分析的过程中,函数是否inline,属于过程间分析(interprocedural analys...

2016-10-16 22:35:56

阅读数 2073

评论数 0

提示
确定要删除当前文章?
取消 删除
关闭
关闭