基于程序路径特征的模糊测试技术研究

来源 :郑州大学 | 被引量 : 0次 | 上传用户:liongliong436
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件漏洞被非法利用将会导致个人或组织的资产损失。模糊测试由于其高准确性,高拓展性,易着手等优点,已成为一种高效的漏洞检测技术。AFL是一种基于覆盖引导的灰盒模糊测试工具,被广泛使用和研究。但是,大量随机化输入会导致AFL的无效执行,过度执行耗时边会影响AFL执行效率,无用测试用例的复用会造成AFL能量浪费等问题在现有研究中无法得到有效解决。本文对程序热点进行定义并提出一种基于程序路径特征的热点比率算法,在该算法基础上对AFL的种子选择算法和能量分配策略进行了改进,减少了程序运行过程中的无效执行,提高了AFL在一定时间内的代码覆盖率和发现漏洞的能力。本文主要工作和贡献如下:(1)提出了基于程序路径特征的热点比率模型,该模型将种子热点比率值作为种子的属性值改进优先种子集选择算法和能量调度策略,从而筛选出无效执行次数少,耗时边少的种子。实验验证,该模型能够减少随机化输入导致的无效执行和耗时边的执行,能够找到更多的唯一崩溃,改善了AFL的执行效率。(2)提出了基于程序路径特征的种子选择算法,该算法融入了新的能量分配改进策略。其中,能量分配改进策略通过减少时间和命中热点来进一步改善AFL的执行效率。基于程序路径特征的种子选择算法则在此基础上通过监控程序控制流变化的有效性以减少无用测试用例。实验验证,该算法能够减少无用测试用例的复用从而减少AFL的能量浪费。(3)本文基于AFL源码实现了四个模糊器Spot Fuzz-h、Spot Fuzz-t、Spot-Fuzz和Spot Fuzz-p,缓解了无效执行、过度执行耗时边和无用测试用例导致模糊测试工具执行效率低的问题,并在常见应用程序上测试了600个CPU执行时间,分析了模糊器触发崩溃的能力和代码覆盖率。实验结果表明,Spot Fuzz-h和Spot Fuzz-t触发的唯一崩溃平均数量分别比AFL提升了9.34%和10.51%,Spot Fuzz在GNU Binutils和tcpdump上触发的唯一崩溃平均数量比AFL提升了42.96%,探索到的边平均数量比AFL提升了14.25%,证明了减少程序的无效执行以及耗时边的执行均能提高模糊器的效率;Spot Fuzz-p发现的唯一崩溃平均数量比Spot Fuzz提升了26%,证明了减少无用测试用例能进一步提高模糊测器在24小时内触发唯一崩溃的能力,验证了本文算法的有效性。
其他文献
《草帽歌》是20世纪70年代经典日本电影《人证》的主题曲,由大野熊二作曲,西条八十作词,乔山中首唱。音乐学家、翻译家薛范将英文歌词译为中文,在中国广为传唱,1980年朱逢博在中国首唱,后被刘欢、崔健、李泉等歌手相继翻唱。本文以中文版《草帽歌》为研究对象,从作品的艺术特征及其演唱中的舞台表现力两方面进行阐述。笔者通过对该曲的音乐特征与歌词文本进行分析,力图较为全面把握作品的艺术特征,并结合自己对《草
学位
随着历史的演变和发展,祁剧逐渐开始吸收现代社会生活元素,在传统的戏曲声腔演绎中不断融入当代故事,从而发展成为祁剧现代小戏。这种极具现代风格的地方戏曲,是在传统祁剧音乐表达的基础上,加入现代剧本创作与音乐构思,改变了以往祁剧演绎传统故事的单一风格,大胆地融入了现代社会生活的故事剧情,让祁剧这种传统地方戏更加贴近人民群众的社会生活,从而成为湖南众多地域群众喜闻乐见的地方剧种。《选村长》是湖南祁剧现代小
学位
河南坠子与很多传统曲艺一样,最初人们通过口头传唱,所以它集中了不同时期中原人不同的情感记忆和精神面貌,并且继承了中原大地深远的历史文化,吸收了其他地区说唱艺术以及其他姊妹艺术的风格和精髓。河南坠子曾经流传到中国近一半的城市,并在20世纪30年代发展达到了高潮,成为那个时候最流行的曲艺表演形式。《摘棉花》是很具有代表性的一部作品,它的填词很有故事性,表演性,不仅继承了传统坠子的演唱风格,还加入一些新
学位
<正>中国国有企业公司治理主体呈现“1+4+1”的特殊结构,以党的领导为核心,党组织、股东会、董事会、监事会、经理层依法行使职权并承担责任,职工群众有序参与。党的二十大报告强调,“完善中国特色现代企业制度,弘扬企业家精神,加快建设世界一流企业。”完善中国特色现代企业制度的核心问题就是国有企业要在完善公司治理中加强党的领导。2016年10月,习近平总书记在全国国有企业党的建设工作会议上明确指出,
期刊
秦安老调《改革开放再扬帆》是采用秦安当地方言演唱的一首当代新编秦安老调音乐作品,它由秦安县文联副主席姚常德创作,在秦安老调传统音乐形态的基础上,通过填入时代新词,从而歌颂中国特色社会主义建设新征程。本文以秦安老调《改革开放再扬帆》作为研究对象,首先,从历时梳理和共时比较的研究视角切入,对秦安老调的源流考证和发展现状等方面进行论述;其次,对秦安老调《改革开放再扬帆》的曲牌连缀结构形式进行分析,从旋律
学位
国有城市燃气企业“三会”是重大问题决策源头,规范“三会”是完善公司治理的重要抓手,但基层的“三会”仍然存在种种问题。本文分析了基层单位“三会”存在的7类典型问题,包括:仍然存在党政联席会议,对“三会”召开顺序、组合方式特别是党组织会议前置程序理解机械,“三会”议事清单边界不清晰或形同虚设,“三会”之间出现种种衔接不畅的情况,“三会”相同议题简单重复影响了工作效率,“三会”有效性的问题时有发生,“三
期刊
兰属(Cymbidium)所有种(除兔耳兰C. lancifolium外)均被列为国家重点保护野生植物,研究其在未来气候条件下的潜在分布格局,将对该类群的有效合理保护提供参考和依据。该文基于兰属植物已知的分布点和19个气候因子,利用MaxEnt模型和地理信息系统(ArcGIS)模拟兰属以及其中20种兰属植物在九种不同气候情景(当代以及未来2030s、2050s、2070s和2090s四个时间段各两
期刊
报纸
学位
纳米计算机断层成像(Computed Tomography,CT)是一种能够在纳米级分辨率下无损观测样品内部结构的新型成像技术。基于超微焦点射线源的实验室纳米CT,受限于射线源功率,X光强度比普通锥束CT低1~2个数量级,因此在相同曝光时间下,纳米CT存在噪声升高、对比度下降等问题,严重影响成像质量。研究纳米CT图像降噪技术对于提升纳米CT成像质量和工作效率具有重要的现实意义。本文针对实验室纳米C
学位