高效率模糊测试并行化关键技术研究

来源 :国防科技大学 | 被引量 : 0次 | 上传用户:zhangyongqiangis250
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着信息技术的发展,软件安全越来越引起人们的普遍关注。为了提升软件的安全性,需要通过漏洞挖掘的方法发现软件中的潜在漏洞,然后修补该漏洞。在诸多的漏洞挖掘方法中,模糊测试是应用最广泛、发现软件漏洞最多的方法,它具有自动化程度高、不需要对软件进行深入分析等优点。为了提升模糊测试的效率,可以采用并行化的方法,目前并行化的模糊测试主要存在以下两点问题:其一是并行化主要针对单机多核情况,缺少适用于多主机分布式环境并行的测试用例生成方法;其二是缺少适用于并行的队列生成方法和去除重复crash数据的方法。本课题研究的是高效率模糊测试并行化的关键技术。论文针对目前并行化模糊测试存在的上述两个问题进行研究,本文主要内容及研究成果如下:(1)本文提出了一种面向并行的测试用例生成方法首先对目标程序进行初步分析,完成插桩、标识基本块、找出基本跳转等准备工作。然后对其中具有危险性的跳转进行标记。在测试用例生成过程中,先通过发现新的基本跳转生成测试用例,再通过跳转出现的次数进一步筛选测试用例并对标记为危险的跳转采用更严格的标准。该方法最大的优势在于适用于分布式的处理环境。(2)本文提出了在分布式环境下节点间的同步处理方法包括提出一种轮询机制来处理测试用例生成过程中多节点协调工作的问题,一种适用于分布式环境的队列合并方法和crash管理方法。轮询机制用来协调节点间的测试用例生成,这种轮询机制既保证了各节点在相互不干扰的情况下分别进行随机变异,又能极大限度减少重复测试,提升了并行化模糊测试的整体效率。在队列处理上,各节点通过概率优先级策略来选取测试用例,构成一个动态的本地队列,通过队列合并的方法来更新测试用例集合。在crash管理上,提出了一种分布式的crash管理方法,该方法是一种面向并行的、有效对测试产生的大量crash数据进行管理的方法,该方法通过识别新跳转来去除冗余,是一种简单高效的方法。(3)本文设计并实现了一个并行化的模糊测试系统利用前面提到的多种方法,设计并实现了在分布式的环境下,对软件漏洞进行并行化模糊测试的工具ParalFuzz,并通过实验验证了该工具进行并行化模糊测试的有效性。
其他文献
在本硕士科研工作中,通过碳碳偶联反应,合成并使用了三例β-二亚胺配体:配体1、新型配体 13[MeC(PhCNDip)2H;Dip = 2,6-iPr2C6H3]及配体 17[PhC(PhCNDip)2H;Dip=2,6-iPr2C6H3
随着科技的发展,计算机视觉系统设备得到了极大的发展,在人们的日常生活中发挥着日益重要的作用。如车辆导航、无人机拍摄、视频监控、智能交通等,其绝大部分信息源于图像及
1引言随着人们对可再生能源利用价值认识的提高,以及风电机组制造、控制和其它相关技术的不断进步,风力发电在近十几年来的发展非常迅速,到2013年底全世界的风电总装机容量已
会议
随着无线能量传输(Wireless Power Transfer,WPT)技术的发展,无线能量传输技术被广泛应用在电动汽车、电动牙刷、生物医学植入设备、LED(Light Emitting Diode)或OLED(Organi
聚酰胺(PA)材料在化学工业中得到广泛的应用,这是由于其具有良好的力学性能、不溶于大部分溶剂、很好的耐腐蚀性及良好的加工性能等。聚磺酰胺(PAs)由于含有功能性良好的磺酰
随着水体富营养化和全球气候变暖,蓝藻水华频繁爆发,铜绿微囊藻与溞属种类间的相互作用已成为研究者关注的焦点。关于铜绿微囊藻对溞属种类现生种群生命表特征的研究较多,而
H3K4me3是一种重要的表观遗传修饰,主要由MLL(mixed lineage leukemia)甲基转移酶复合体催化,对小鼠胚胎干细胞(mouse embryonic stem cells,m ESCs)自我更新能力的维持具有重要
光电倍增管(PMT)是中微子探测试验的核心部件,是由玻璃材料制成的内部真空的薄壳结构,排列在深水中工作,承受高静水压力。若一只PMT意外被压溃,高压水流向中心汇聚相撞而发生
钛酸钴材料在气敏方面应用的主要问题是对低浓度气体的检测灵敏度差、响应速度较慢和工作温度高等。通过调控材料的表面形貌及内部孔结构特征来提高其灵敏度是气敏材料的一个
现实世界中存在许多不同类型的复杂网络,它们都蕴含着各自内在的社团结构。社团检测算法可帮助我们发现复杂网络的内在结构与拓扑特征。目前已有多种社团检测算法被提出,因其