基于依赖的污点分析方法改进研究

• 作者: 周轩 郭帆
• 来源期刊: 计算机应用研究
• 关键词: 污点分析 迭代求精 域变量 变量依赖
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3065-3073
• 页数: 9页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.10.044

摘要

在总结污点分析研究现状基础上，给出了基于依赖的静态污点分析的形式化描述。提出并形式化定义跨方法的域变量和方法参数变量依赖关系以及依赖关系传播的操作语义，改进分析的精度。引入迭代求精方法对分析结果进行多阶段和验证，改进分析的性能。在SOOT平台实现改进分析的原型系统并与现有分析比较，实验结果表明改进方案有效提高了精度和性能。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭帆	江西师范大学计算机信息工程学院	37	217	10.0	12.0
2	周轩	江西师范大学计算机信息工程学院	2	3	1.0	1.0