基于动态能量调控的导向式灰盒模糊测试技术

• 作者: 戴渭 朱凯龙 陆余良
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 灰盒模糊测试 静态分析 距离计算 动态能量调控 导向式模糊测试
• 年，卷（期）: 2020,（8）
• 所属期刊栏目: 计算机技术
• 页码范围: 1534-1542
• 页数: 9页
• 分类号: TP309
• 字数: 8567字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2020.08.011

摘要

导向式灰盒模糊测试(DGF)是能够快速生成测试用例,达到给定的程序目标区域并且发现漏洞的模糊测试技术.针对当前DGF技术测试效率较低的问题,提出基于动态能量调控的DGF技术.通过静态分析技术构建程序的函数调用图(CG)和控制流图(CFGs),定义并计算更准确的函数级别、基本块级别的目标距离;通过跟踪种子的执行轨迹,计算种子到目标区域的距离;基于动态能量调控函数对模糊测试中种子的变异数量进行更有效的调控,引导生成到达目标区域的测试用例.基于该方法,实现导向式模糊测试原型系统AFL-Ant,并与现有的导向式模糊测试方法进行对比实验.结果表明,本研究所提出的方法能够更加快速、有效地对目标区域进行测试,在补丁测试、漏洞复现方面具有较强的应用价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱凯龙	国防科技大学电子对抗学院	8	8	2.0	2.0
2	陆余良	国防科技大学电子对抗学院	8	16	2.0	4.0
3	戴渭	国防科技大学电子对抗学院	2	0	0.0	0.0