基于关键点覆盖和混合执行的定向模糊测试技术研究

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:gfgfiiii
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近些年模糊测试技术取到了长足发展,从整个流程角度研究人员对各个阶段相关技术进行了大量研究使其更加自动化智能化。同时结合以往的符号执行、软件测试等相关技术,互相利用各自设计优势进行混合测试取得了不错的效果。例如,与动态符号执行结合用来探索复杂逻辑约束分支,与语法生成相结合可以产生更加合乎规范的测试用例,有的与传统污点分析相结合实现数据流相关性判定。此外内存类型漏洞检测和硬件辅助特性等相关技术也极大改进了测试有效性和效率。定向模糊测试是指针对目标程序指定代码区域或者特定功能进行针对性测试,主要用于漏洞挖掘、漏洞复现、补丁分析等场景。在高危漏洞挖掘方面,定向模糊测试结合研究人员的经验判断比随机性模糊测试常常有更好的效果。这些场景需要研究人员构造出可到达目标区域的测试用例。以往的研究中有的通过执行路径与目标区域的距离引导生成更近的种子输入,或者使用选择性符号执行求解可达目标的分支路径。距离导向鲁棒性较差,路径距离计算的失败会导致距离导向算法的失效。部分研究使用选择性符号执行用于定向测试缓解了路径爆炸问题但带来了较高的假阳率。本文首先提出了基于关键点覆盖的模糊测试技术,利用程序控制流图提取关键点列表,通过运行时插桩获取关键点列表覆盖信息,根据整体边覆盖率和关键点覆盖率使用能量调度算法计算种子的测试优先级,根据指定突变策略不断生成距离目标更近的测试输入。实现了混合测试框架,使用关键点覆盖导向的模糊测试生成覆盖关键点的种子队列,送入混合符号执行引擎。利用子代生成策略和混合执行技术,根据整体和关键点覆盖率变化,进一步探索随机生成和突变无法绕过的复杂逻辑分支路径,探索程序新状态。实验结果表明:基于关键点覆盖的模糊测试技术能高效诱导生成到达目标区域的种子队列,同时在探索路径深度和有效性上均高于基于边覆盖率和路径距离的定向模糊测试技术。结合混合符号执行的定向测试可以利用关键点覆盖测试生成的种子队列进行分支路径探索,同时比执行生成测试技术在测试集覆盖率效果要好。
其他文献
在英语习得的过程中,兴趣与成就感起到了推手的作用!而机械记忆词汇的过程却消磨了学生应有的激情与斗志。本文在对学生词汇习得失败原因进行分析的基础上,介绍联想记忆法、共
期刊
一、遵循平等原则,建立新型师生关系《语文课程标准》指出:“语文教学应在师生平等对话的过程中进行。”这就要求老师必须充分尊重学生的人格,与学生置于同等地位,给学生一种心理
"创客"一词来源于英文单词"Maker",是指出于兴趣与爱好,努力把各种创意转变为现实的人。在"大众创业,万众创新"的潮流下,由青岛昌盛日电与青岛城乡投资有限公司共同投资建设的青岛
苗发启主任医师,山东省五级师承教育项目第五批省市级指导老师,山东省菏泽市名中医,其从医30余载,博采众长,临证经验丰富,擅于治疗慢性胃炎、慢性萎缩性胃炎、功能性消化不良
近期我上课,课堂上出现了一种奇怪的现象:我问什么,学生要么不吭声,要么回答者寥寥。这种教学形不成互动的局面,使我心里十分难受。我常常坐在学校小花园里发呆。难道我的教学
筛选获得促进大肠杆菌质粒扩增的最优氯霉素浓度。采用单因素控制变量法,通过质粒转化、摇菌、质粒提取、PCR扩增、琼脂糖凝胶电泳检测等方法,并设置菌液培养时间梯度与氯霉
小学语文是九年义务教育阶段一门基础性的学科,它对学习好其他学科、获取新的知识具有重要的意义。那么该如何学习好语文呢,笔者认为培养学生学习的兴趣是最为关键的。我国古代
随着社会的飞速发展,人们所承受的各种压力也越来越大。就我们常州地区而言,就有学生因为忍受不了学习和生活的压力而采取极端手段结束了自己年轻的生命。灿烂的生命之花过早凋
178户人家600个棚,66.7公顷蔬菜,还有合作社、资金互助社、育苗场、生态园、蔬菜批发市场……当你漫步在山东省茌平县贾寨镇耿店村的乡村道路上,你看到的是平整瓦亮的柏油马