Author Login Editor-in-Chief Peer Review Editor Work Office Work

Computer Engineering ›› 2010, Vol. 36 ›› Issue (17): 23-24,27. doi: 10.3969/j.issn.1000-3428.2010.17.008

• Networks and Communications • Previous Articles     Next Articles

Automatic Abnormal Input Data Construction in Software Fuzzy Test

SHEN Ya-nan1,2, ZHAO Rong-cai1, REN Hua2, WANG Xiao-qin2, ZHANG Xin-yu2, LIU Zhen-hua2, LI Peng-fei3   

  1. (1. Institute of Information Engineering, PLA Information Engineering University, Zhenzhou 450001; 2. Beijing North Computer Center, Beijing 100091; 3. Institute of Software, Chinese Academy of Sciences, Beijing 100090)
  • Online:2010-09-05 Published:2010-09-02

软件模糊测试中畸形输入数据的自动构造

沈亚楠1,2,赵荣彩1,任 华2,王小芹2,张新宇2,刘振华2,李鹏飞3   

  1. (1. 解放军信息工程大学信息工程学院,郑州 450001;2. 北京北方计算中心,北京 100091;3. 中国科学院软件所,北京 100090)
  • 作者简介:沈亚楠(1980-),男,硕士,主研方向:软件模糊测试; 赵荣彩,教授;任 华,工程师;王小芹、张新宇,高级工程师;刘振华,工程师;李鹏飞,博士
  • 基金资助:
    国家自然科学基金资助项目(60603017)

Abstract: An algorithm of automatic abnormal input data construction is put forward. Based on the result of software binary patch comparison and target function call graph, a fitness function is designed which is used to evaluate all of the individuals in the same population and find and pass excellent individuals down to next generation. Experimental result shows that the algorithm can generate the data that gets or nearly gets to the point of the software vulnerability, and simplify the process that reverse analyzer constructs abnormal software input data.

Key words: software binary patch comparison, function call graph, genetic algorithm, fitness function

摘要: 提出一种畸形输入数据自动构造算法。基于软件二进制补丁比对结果及目标函数调用图,设计适应值函数,对同一种群中所有个体进行评估,寻找优秀个体并遗传到子代中。实验结果表明,该算法能够生成到达或接近到达软件脆弱点的输入数据,简化逆向分析人员构造软件畸形数据的过程。

关键词: 软件二进制补丁比对, 函数调用图, 遗传算法, 适应值函数

CLC Number: