针对复合文档的智能灰盒测试工具设计与实现

来源 :北京邮电大学 | 被引量 : 1次 | 上传用户:zcat16
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来复合文档PDF (Portable Document Format)文件格式被爆出大量漏洞,PDF漏洞被利用的数量大幅上升。由于PDF文档具有良好的移植性且应用很广泛,常常被用作恶意代码的载体,加速了恶意代码的传播。目前对结构复杂的复合文档进行模糊测试,获取高效的样本集比较困难。面对复合文档中严格的格式校验,传统随机模糊测试效率较低。现有基于文件格式的灰盒模糊测试,由于模型描述语言能力不足,很难针对某种文件格式构建统一数据模型。通过分析PDF文件物理结构与逻辑结构,针对其字体对象的解析引擎,本文提出一种批量化构造测试用例的方法。通过分析字体文件结构,本文首先对字体文件重构并添加辅助标签,然后创建对应的统一数据模型,借助标签,测试工具可以识别文件内部各数据块并建立与其结构描述的对应关系,弥补现有基于文件格式的灰盒模糊测试中模型描述能力不足问题。本文借助字体文件内部结构信息进行样本筛选,以低开销方式获取了覆盖面较广的测试用例集。本文设计了基于内存数据交换方式的分布式测试架构,以提高测试效率。并且通过对测试结果进行监控,直观展示整个测试过程中被测程序崩溃数量增长情况,为用户决定何时停止模糊测试提供参考。本文使用开发的智能灰盒测试工具对20余款PDF阅读器进行了测试,触发了大量崩溃。发现Xchange View存在整数溢出漏洞,阅读器专家中存在可执行任意代码的高危漏洞,多款软件存在本地拒绝服务现象。实验表明,本文所提方法可以有针对性地构造测试用例,并高效地运用在PDF阅读器缺陷的发掘过程中。
其他文献
随着互联网的迅速发展,信息化已经覆盖了生活的方方面面,但也随之带来了很多问题,例如黑客攻击造成的信息泄露和经济损失等,因此可信软件的研发已成为当务之急。静态分析是发
随着国民经济水平和居民消费能力的不断提高,人们越发重视家居装饰的个性化、多样化和时尚化,因此近些年来国内家居软装行业快速发展,市场规模以数倍的速度不断扩大。但是国
酿酒酵母是大规模酒精工业生产用菌种,当前它又发展成为日益重要的生物医药产品和酶制剂的生产平台。而对酿酒酵母进行的各种遗传改造和利用,都离不开蛋白质的表达与调控。本工作研究木质纤维素酶解和利用中最重要的组分之一β-葡萄糖苷酶(β-glucosidase)基因在工业酵母单倍体衍生菌株An-α(MATαura3)中的锚定和分泌表达及相应的UPR信号响应规律,为最终实现β-glucosidase的高宿主兼
针对极紫外(EUV)多层膜的设计和表征过程中普遍采用的遗传算法(GA)所具有的大种群、求解速度慢、精度较低的问题,本文将实数编码的量子进化算法(RQEA)应用于周期EUV多层膜的
在移动互联网时代,人们需要高速便捷的移动数据服务。因此无线网络要有高效的频谱利用率和密集的小区部署。国际标准化组织第三代合作伙伴计划(3GPP)提出了第四代移动通信长
背景急性髓系白血病(AML)患者群体因所经历的遗传学和分子学改变各异,在临床特征、发病机理、治疗效果及疾病预后等方面存在很大差异。以往的研究发现同一亚组患者的预后不尽相同。临床上许多AML患者同时存在多种异常基因,各种异常基因之间可能存在相互作用并对患者预后产生重要影响。因此对AML患者的异常基因进行全面准确地检测,综合地阐明分子特征,以更好地表征AML生物学并精确评估预后,显得尤为重要。目的检测
随着信息技术的蓬勃发展,各类不确定数据查询已广泛应用于众多现实应用中。近年来,具备定位功能的各型手持无线终端以及车载设备不断普及,使得对基于位置的移动计算需求日渐
信息化技术的普及与移动互联的迅速崛起,带来了前所未有的“大数据”时代。数据量的飞速爆炸,使得利用及研究数据面临重大挑战,怎样在海量数据中,钻取、挖掘、进而获取数据带
鬼波的存在会造成地震记录的低频响应,降低地震剖面的分辨率,有时甚至会产生虚假的同相轴,给地震地质解释造成困难。因此,要获得高分辨率的地震剖面,就必须在地震信息采集、
直流电网故障清除是目前直流电网乃至直流输电研究领域中面临的重要挑战。作为直流故障清除的重要设备,目前的直流断路器无法实现故障隔离和故障耗能过程耦合的解除,因此其故障处理速度难以进一步提升。本文提出了一种以电容为核心器件的快速直流钳压器,该拓扑将两个过程的耦合关系解除,同时进一步加快了故障隔离过程的速度。首先,提出了快速直流钳压器的拓扑结构,对每个支路与器件的作用进行了简单介绍,之后根据故障清除过程