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

• 作者: 李金诺
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 静态分析 基于约束的分析 控制流分析 不动点算法
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 控制技术
• 页码范围: 55-61
• 页数: 7页
• 分类号: TP273
• 字数: 6798字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2013.10.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李金诺		7	61	3.0	7.0