计算机应用

作者：张瀚方, 周安民, 贾鹏, 刘露平, 刘亮

单位：1. 四川大学 网络空间安全学院, 成都 610065;2. 四川大学 电子信息学院, 成都 610065

关键词：导向性模糊测试,反馈式模糊测试,二进制模糊测试,程序插桩,漏洞挖掘

基金：国家重点研发计划项目（2017YFB0802900）；CCF-启明星辰"鸿雁"科研资助计划项目（CCF-VenustechRP2017002）。

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。

来源：2019年第5期

《计算机应用》期刊编辑部

查看计算机应用杂志2019年第5期