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

A Constraint-based Analysis Method to Simplify Control Flow Graph

作　　者：李金诺[1] 

机构地区：[1]中国石油勘探开发研究院西北分院,甘肃兰州730050

出　　处：《计算机与现代化》2013年第10期55-61,共7页Computer and Modernization

摘　　要：很多静态代码分析的方法都以控制流图作为基础,本文采用一种基于约束的分析技术,包括基于约束的0-CFA,加入数据流的分析方法构造约束集,使用不动点算法求出约束集的最小解并生成控制流图,可以约减不可达分支,生成较少冗余的控制流图。以本文生成的控制流图作为静态代码分析方法的基础,可以提高静态代码分析的效率,降低误报率。A lot of static code analysis methods take control flow graph as basis. This paper uses a constraint-based analysis tech- niques, including constraint-based 0-CFA, adding data flow analysis method to construct the set of constraints, using fixed-point algorithm to find the smallest solution of the set of constraints, and generates a control flow graph, reduction unreachable branch, generates less redundant control flow graph. The control flow graph, generated in this article as the basis of the static code analy- sis methods to improve the efficiency of static code analysis, can reduce the rate of false positives.

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

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]