首页 | 本学科首页   官方微博 | 高级检索  
     

基于动态能量调控的导向式灰盒模糊测试技术
引用本文:戴渭,陆余良,朱凯龙.基于动态能量调控的导向式灰盒模糊测试技术[J].浙江大学学报(自然科学版 ),2020,54(8):1534-1542.
作者姓名:戴渭  陆余良  朱凯龙
作者单位:国防科技大学 电子对抗学院,安徽 合肥 230037
基金项目:国家重点研发计划重点专项资助项目(2017YFB0802900)
摘    要:导向式灰盒模糊测试(DGF)是能够快速生成测试用例,达到给定的程序目标区域并且发现漏洞的模糊测试技术. 针对当前DGF技术测试效率较低的问题,提出基于动态能量调控的DGF技术. 通过静态分析技术构建程序的函数调用图(CG)和控制流图(CFGs),定义并计算更准确的函数级别、基本块级别的目标距离;通过跟踪种子的执行轨迹,计算种子到目标区域的距离;基于动态能量调控函数对模糊测试中种子的变异数量进行更有效的调控,引导生成到达目标区域的测试用例. 基于该方法,实现导向式模糊测试原型系统AFL-Ant,并与现有的导向式模糊测试方法进行对比实验. 结果表明,本研究所提出的方法能够更加快速、有效地对目标区域进行测试,在补丁测试、漏洞复现方面具有较强的应用价值.

关 键 词:灰盒模糊测试  静态分析  距离计算  动态能量调控  导向式模糊测试  

Directed grey-box fuzzing technology based on dynamic energy regulation
Wei DAI,Yu-liang LU,Kai-long ZHU.Directed grey-box fuzzing technology based on dynamic energy regulation[J].Journal of Zhejiang University(Engineering Science),2020,54(8):1534-1542.
Authors:Wei DAI  Yu-liang LU  Kai-long ZHU
Abstract:Directed gray-box fuzzing (DGF) is a kind of fuzzing technology which can quickly generate test cases to reach a given target area of the program and find vulnerabilities. A DGF technology based on dynamic energy regulation was proposed, aiming at the inefficiency of existing DGF technology. The function call graph (CG) and control flow graphs (CFGs) of the program are constructed by static analysis technology, and the more accurate target distance at function level and basic block level is defined and calculated. The distance from seed to the target area is calculated by tracking the execution trajectory of the seed. The dynamic energy regulation function is used to effectively control the mutation quantity of seeds in the process of fuzzing, and to guide the generation of test cases that can reach the target area. A prototype system AFL-Ant for DGF was implemented based on this method, and the comparison experiments with the existing DGF method were carried out. Results demonstrate that the proposed method can test the target area faster and more effectively, and it has strong application value in patch testing and vulnerability reproduction.
Keywords:grey-box fuzzing  static analysis  distance calculation  dynamic energy regulation  directed fuzzing  
本文献已被 CNKI 等数据库收录!
点击此处可从《浙江大学学报(自然科学版 )》浏览原始摘要信息
点击此处可从《浙江大学学报(自然科学版 )》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号