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

摘要：

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

关键词：静态分析、基于约束的分析、控制流分析、不动点算法

分类号：TP273(自动化技术及设备)

在线出版日期：2013-11-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：55-61