论文部分内容阅读
很多静态代码分析的方法都以控制流图作为基础，本文采用一种基于约束的分析技术，包括基于约束的0-CFA，加入数据流的分析方法构造约束集，使用不动点算法求出约束集的最小解并生成控制流图，可以约减不可达分支，生成较少冗余的控制流图。以本文生成的控制流图作为静态代码分析方法的基础，可以提高静态代码分析的效率，降低误报率。