一种基于约束分析精简控制流图方法

作者：李金诺

来源：计算机与现代化, 2013, (10): 55-61.

• 静态分析
• 基于约束的分析
• 控制流分析
• 不动点算法 static analysis
• constraint-based analysis
• control flow analysis
• fixed-point algorithm

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

• 出版日期2013
• 单位中国石油勘探开发研究院西北分院