【摘 要】
:
黑盒模糊测试出现三十多年来在漏洞挖掘领域中作出了巨大的贡献,发掘了大量有价值的漏洞。基于覆盖率引导的模糊测试是一种灰盒化的模糊测试,因其在实际测试中展现的优良性能而被广泛使用。但是目前大部分灰盒模糊测试工具是利用编译时插桩和系统模拟来获取路径反馈信息,并且覆盖信息的记录也是在一种粗略的维度上进行的。这种粗粒度的路径记录方式一方面因为有限的记录空间无法避免路径碰撞,另一方面也无法有效地为模糊测试提供
论文部分内容阅读
黑盒模糊测试出现三十多年来在漏洞挖掘领域中作出了巨大的贡献,发掘了大量有价值的漏洞。基于覆盖率引导的模糊测试是一种灰盒化的模糊测试,因其在实际测试中展现的优良性能而被广泛使用。但是目前大部分灰盒模糊测试工具是利用编译时插桩和系统模拟来获取路径反馈信息,并且覆盖信息的记录也是在一种粗略的维度上进行的。这种粗粒度的路径记录方式一方面因为有限的记录空间无法避免路径碰撞,另一方面也无法有效地为模糊测试提供精确的引导依据。在实际测试中,当测试进行到一定深度后,就可能难以发现新的路径了,而重复的测试过程也没有意义。在目前的模糊测试改进工作中,还没有一种足够精确的能够帮助我们直接分析测试瓶颈的路径记录方式。针对上述问题,本文提出了基于程序精确路径反馈信息的模糊测试相关技术研究,包括以下三个部分。在第一个部分中,针对路径信息的获取,本文提出了一种基于动静态混合的代码覆盖记录方式,该方式将静态程序分析技术和基于硬件反馈的动态追踪结合起来,实现了无碰撞的精确程序路径信息记录方式。在第二个部分中,本文结合第一个部分的实验结果与二进制代码审计,校正了具体分支记录,然后利用基于精确完整的路径记录信息的程序控制流图,辅助人工分析查找代码中可能存在的测试瓶颈,实现了基于精确路径反馈信息的测试状态分析技术。在第三个部分中,为了增强路径信息反馈对模糊测试的启发性,自动化地利用路径反馈信息,本文将该信息中能够帮助判断种子价值的部分应用于种子权重策略和种子选择策略的制定中来引导测试方向,实现了基于精确路径反馈信息的深度路径探索技术。
其他文献
近年来,由于城市人口不断增长,环境污染、交通拥堵等“城市病”问题日益突出。为缓解城市问题,实现城市的可持续发展战略,国家大力倡导“低碳”、“绿色”的出行方式,共享单车孕育而生。短短几年间,共享单车发展迅猛,从开始的有桩共享单车发展到更加便捷的无桩共享单车。其中,mobike和ofo两家无桩共享单车品牌发展最广,对社会的影响最大。但是,由于共享单车的爆发式发展,导致共享单车在管理方面的滞后,使得共享
可视性,是指观察者视点对其他空间目标点的可见程度,所有可见目标点的集合,构成了当前视点下的可视域。可视域分析是空间分析中不可或缺的内容,也是地理空间认知研究的重要组成部分,被广泛应用于路径规划、导弹突防、景观分析、通讯基站选址等领域。随着测绘技术的不断发展和GIS数据的不断丰富,三维场景日渐复杂,技术发展、分析效果和场景应用的综合需求使得复杂三维场景的快速可视域分析成为当前的研究热点,对提高用户的
建模是飞行器进行仿真实验的基础。现代飞行器内在机理复杂,在飞行过程中表现出非线性、强耦合、时变等特性,使得传统的机理建模方法建立的数学模型难以满足应用要求。智能技术的发展为非线性系统建模问题提供了理论基础,研究人员可以从飞行器的半实物仿真试验和飞行试验中获得海量的试验数据,为飞行器数据驱动建模提供了数据基础。本文以小型无人直升机高度控制系统、电动舵机、航空制导炸弹为主要研究对象,围绕在线使用场景和
高光谱图像描述了目标分布的二维空间图像信息和目标光谱特征的一维光谱信息。传统的基于特征提取的高光谱识别方法由于存在特征丢失的弱点导致识别精度不高。基于神经网络的高光谱图像识别方法由于神经网络强大的表示能力可以获得较高的识别精度,但是神经网络只能识别和训练集类别相同的称为已知类的目标,对于来自训练集类别之外的称为未知类的目标,神经网络不能把它们检测出来。针对上述问题,本文研究了高光谱已知目标识别和未
随着核心素养教育理念的推广,如何基于新课标中六要素整合的理念并围绕主题意义进行单元整体教学成为研究热点。本文通过分析传统小学英语教学的“痛点”和“堵点”,试图通过实践探索基于主题意义进行单元整体教学的模式,提出单元整体教学的设计思路和活动流程,并以人教版教材的教学为案例,为开展基于主题意义的小学英语单元整体教学提出建议。