二进制程序的动态符号化污点分析

• 作者: 曾凡平 朱正欣 黄心依
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 污点分析 符号化 漏洞检测 测试用例 数据跟踪
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 信息安全
• 页码范围: 155-158,187
• 页数: 5页
• 分类号: TP311
• 字数: 5544字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.2.034

摘要

污点分析技术常用于跟踪二进制程序的信息流及检测安全漏洞,通过程序的动态执行来检测程序中由测试用例触发的漏洞.它的误报率很低,但是漏报率较高.针对污点分析的这一问题,动态符号化污点分析方法对污点分析进行了改进,通过将污点分析符号化来降低漏报率.根据基于指令的污点传播来获得相关污点数据的信息,同时制定符号化的风险分析规则,通过检测污点信息是否违反风险规则来发现存在的风险.实验结果表明,该方法不仅具有污点分析低误报率的优点,而且克服了污点分析高漏报率的缺点.在污点分析过程中产生的漏洞、风险及相关污点信息还可用于指导测试用例的生成,提高测试效率并降低测试用例的冗余.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾凡平	中国科学技术大学计算机科学与技术学院	47	334	9.0	16.0
5	黄心依	中国科学技术大学计算机科学与技术学院	3	14	3.0	3.0
6	朱正欣	中国科学技术大学计算机科学与技术学院	1	5	1.0	1.0