摘要: 很多静态代码分析的方法都以控制流图作为基础,本文采用一种基于约束的分析技术,包括基于约束的0-CFA,加入数据流的分析方法构造约束集,使用不动点算法求出约束集的最小解并生成控制流图,可以约减不可达分支,生成较少冗余的控制流图。以本文生成的控制流图作为静态代码分析方法的基础,可以提高静态代码分析的效率,降低误报率。
中图分类号:
李金诺. 一种基于约束分析精简控制流图方法[J]. 计算机与现代化, 2013, 218(10): 55-61.
LI Jin-nuo. A Constraint-based Analysis Method to Simplify Control Flow Graph[J]. Computer and Modernization, 2013, 218(10): 55-61.