《基于动态污点分析的二进制程序导向性模糊测试方法-论文》.pdfVIP

2014 年10月1 日 现代电子技术 Oct. 2014 第37 卷第19 期 Modern Electronics Technique Vol. 37 No. 19 89 89 基于动态污点分析的二进制程序导向性模糊测试方法 张 斌，李孟君，吴 波，唐朝京 （国防科学技术大学 电子科学与工程学院，湖南 长沙 410073 ） 摘 要：传统模糊测试中，由于不同的输入可能重复测试相同的状态空间，导致其效率严重低下。提出一种基于动态 污点分析与输入分域技术相结合的二进制程序导向性模糊测试技术，可以对典型安全敏感操作与一般模块函数进行导向性 模糊测试，很好地解决了传统模糊测试效率低下的问题。实现了二进制导向性模糊测试的原型系统TaintedFuzz ，实验证明， 该系统能够对二进制程序中存在的典型安全漏洞进行高效地发掘。 关键词：安全漏洞；导向性模糊测试；动态污点分析；输入分域 中图分类号：TN915.08⁃34 文献标识码：A 文章编号：1004⁃373X （2014 ）19⁃0089⁃06 Method of binary oriented fuzzy testing based on dynamic taint analysis ZHANG Bin ，LI Meng⁃jun ，WU bo ，TANG Chao⁃jing （College of Electronic Science and Engineering ，National University of Defence Technology ，Changsha 410073 ，China ） Abstract ：Since traditional fuzzy testing may test the same state space repeatedly due to the different input ，and lead to a low efficiency ，a binary oriented fuzzy testing technique based on dynamic taint analysis combined with input field classification technology is presented in this paper ，which can perform the oriented fuzzy testing for typical security ⁃sensitive operation and general module function ，and serve as a good solution to the problem of low efficiency of the traditional fuzzy testing. The proto⁃ type system TaintedFuzz was also realized for binary oriented fuzzy testing. The experiment proves that the method is capable of exploring the typica