AFL模糊测试系统的优化方法研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:a67273271
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模糊测试已经被证明是进行软件漏洞挖掘的最有效手段,其中AFL(American Fuzz Lop)是目前最前沿、最先进的模糊测试工具之一,也是模糊测试研究领域的热点。AFL优点突出但仍然存在一些缺陷,首先是变异策略存在局限性,不能快速覆盖包含常量比较的路径;其次是并行运行速度不理想,多进程测试中各进程不能及时交互,而且会传递大量重复测试用例。针对AFL存在的这两个缺陷,提出了两种优化方法,一是改进AFL的变异策略,增加String Match变异策略;String Match变异策略核心思想是遍历被测程序,提取全部字符串常量和数值常量,然后将常量作为测试用例发送给AFL执行。String Match变异策略主要包括字符串常量和数值常量提取的方法,以及String Match变异策略的执行时机。二是使用并发无锁技术提高多进程并行模糊测试速度。并发无锁技术相对锁可以减少开销,通过提升AFL多进程间的交互能力,整体上提高了模糊测试的速度。AFL并行系统包括快速判断测试用例是否唯一的无锁数据结构,测试用例同步的方法等。根据提出的优化方法,对原有的开源AFL系统进行改进,设计并实现了String Match变异策略和AFL并行系统。通过实验证明,String Match策略对于包含较长常量的命令解析类程序效果明显,在单位时间内发现的路径数量增加了14%;在多主机环境下,并行优化系统单位时间内发现的路径数量增加了9.42%,两种优化方法在相同时间提高了模糊测试的覆盖率。
其他文献
随着建筑工程的发展,建筑物的耐久性问题越来越受到国内外工程界的关注和重视。因此防腐技术的运用在建筑工程中也是非常重要,防腐技术可以降低对建筑物造成的,延长其使用寿命,本
<正>"第一个在体育赛事中获得ISO14001环保认证并运用欧盟生态管理和审核体系的一届冬奥会""第一个世界上温室气体排放达到绿色标准的体育赛事""第一个在欧洲建立以环境为主
<正> 一九八一年,我队在配合洛阳市西工区的基建工程中,在东周王城附近发掘清理了一批东周墓葬,其中两座墓内出土有成组铜器。现简报于下。C1M4 位于洛阳地区运输公司西院,北
教育规律为正确解决思想政治教育理论体系的核心问题、揭示思想政治教育的本质、认识思想政治教育过程、科学确定思想政治教育的目的、任务、内容、原则和方法等提供了客观依
借鉴马莱克兹的"传播者自我形象"思想,结合传播学、传播美学、社会学、语言学等领域相关理论,从表演与表达、文化与思想、控场与应变、个性与风格四个角度分析央视文化综艺节
地方高校图书馆转型是紧密配合地方本科院校转型发展的一种必然选择,也是高校图书馆发展的大势所趋。地方高校图书馆转型发展必须基于高校应用型人才培养的目标,全面参与应用
高程观测的精度评价是水准测量中的一个重要内容和步骤 .提出了以测距或测站数来分担高程观测容许范围内的闭合差 ,对不同的水准测量路线分别推导出了以测距、测站数对高程观
现代企业要赢得国际的竞争,应该增强自主知识产权意识,加强企业知识产权保护。专利作为知识产权的一种重要类型,是企业的差别优势、产权优势和创新优势的一种标志,拥有一项专