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

基于异常分布导向的智能Fuzzing方法
引用本文:欧阳永基,魏强,王清贤,尹中旭.基于异常分布导向的智能Fuzzing方法[J].电子与信息学报,2015,37(1):143-149.
作者姓名:欧阳永基  魏强  王清贤  尹中旭
作者单位:1. 解放军信息工程大学 郑州 450002
2. 数学工程与先进计算国家重点实验室 郑州 450002
基金项目:国家863计划项目(2012AA012902)资助课题
摘    要:现有主流智能Fuzzing测试一般通过对程序内部结构的精确分析构造新测试样本,因而严重依赖于当前计算机的性能,往往忽略了已发现的程序异常信息对新测试样本构造的指导意义.为了克服上述缺陷,该文提出一种基于异常分布导向的智能Fuzzing方法.该方法针对二进制程序测试,建立了TGM(Testcase Generation Model)样本构造模型:首先根据计算能力收集测试样本集的相关信息;然后随机选择初始测试样本进行测试;最后,基于测试结果初始化模型参数,根据模型优先选择更有效的输入属性构造新样本并进行新一轮测试,通过重复进行该步骤,在迭代测试中不断更新模型参数,用于指导下一轮新测试样本构造.实验数据表明该方法可以辅助Fuzzing选择更有效的样本优先进行测试,设计的原型工具CombFuzz在异常检测能力和代码覆盖能力上都有良好表现,同时,在对大型应用程序进行测试时,与微软SDL实验室的MiniFuzz测试器相比,在限定时间内平均异常发现率提高近18倍,并在WPS 2013等软件中发现了7个MiniFuzz无法发现的未公开“可利用”脆弱点.

关 键 词:软件测试  智能Fuzzing  异常分布  脆弱点
收稿时间:2014-03-04

Intelligent Fuzzing Based on Exception Distribution Steering
Ouyang Yong-ji , Wei Qiang , Wang Qing-xian , Yin Zhong-xu.Intelligent Fuzzing Based on Exception Distribution Steering[J].Journal of Electronics & Information Technology,2015,37(1):143-149.
Authors:Ouyang Yong-ji  Wei Qiang  Wang Qing-xian  Yin Zhong-xu
Affiliation:(The PLA Information Engineering University, Zhengzhou 450002, China)
(State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou 450002, China)
Abstract:The current mainstream intelligent Fuzzing often constructs new test samples through precise analysis of the program’s internal structure, which is heavily dependent on the performance of the computer and often overlooks the guiding significance of the discovered program information of exceptions for construction of new testing samples. To overcome these shortcomings, this paper presents a method based on intelligent Fuzzing exception distribution steering, which establishes a data-constructing model named TGM (Testcase Generation Model) for binary program testing. Firstly the relevant information of testing samples is collected according to the computing capability. Then random initial testing samples are selected for testing. Finally, the testing results are used to initialize parameters of the model, which guides the priority selection of more effective input attributes to construct new samples for the next round of testing. This procedure is repeated in iterative testing to constantly update model parameters for guiding the next testing. Experimental data shows that this method can assist Fuzzing to prioritize more effective samples for testing. Design prototyping tool CombFuzz has good performance in the exception detection capability and code coverage capability, meanwhile, when the tests are carried out on large programs, compared with MiniFuzz of Microsoft,s SDL lab, this method increases the average of exception detection rate by nearly 18 times in a limited period of time, and has found 7 undisclosed “exploitable” vulnerabilities in WPS 2013 and other softwares that MiniFuzz did not find.
Keywords:Software test  Smart fuzzing  Exception distribution  Vulnerability
本文献已被 万方数据 等数据库收录!
点击此处可从《电子与信息学报》浏览原始摘要信息
点击此处可从《电子与信息学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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