污点分析中的隐式污染检测方法

• 作者: 刘杰 宋晓龙 尹中旭 张普含
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 污点分析 隐式流 显式流 控制依赖 单静态赋值 必经边界
• 年，卷（期）: 2012,（23）
• 所属期刊栏目: 专栏
• 页码范围: 28-32
• 页数: 5页
• 分类号: TP311
• 字数: 3882字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.23.007

摘要

隐式流对于污点分析方法的准确性有重要影响.为此,提出一种基于程序单静态赋值形式的隐式流检测方法.通过生成控制流图的必经节点树检测控制依赖关系,计算必经边界发现程序汇合点,引入虚拟取值函数获得汇合点变量的多个赋值,从而判别变量取值分歧并标记污点属性.与人工审计结果的对比证明,该方法能够诊断2个污点分析工具的污染缺失和污染过度问题,有效降低隐式流分析的误报率和漏报率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘杰		3	10	2.0	3.0
2	张普含		5	1	1.0	1.0
3	尹中旭		1	1	1.0	1.0
4	宋晓龙		1	1	1.0	1.0