【摘 要】
：
漏洞重现是调试软件缺陷的关键步骤,基于目前的技术栈,仍需要耗费大量的时间来手工完成。尽管崩溃报告在软件发生错误时被捕获,并发送给软件供应商,但它几乎不能用作漏洞重现。主要的原因是,来自软件用户的崩溃报告通常缺少许多关键因素（例如,软件安装,触发方法）,这使得漏洞重现变得更为困难。更糟糕的是,软件可配置选项（即,一个软件系统被定制以在特定上下文或场景中使用的能力）的不确定性,对重现仅存在于某些特定的
论文部分内容阅读
漏洞重现是调试软件缺陷的关键步骤,基于目前的技术栈,仍需要耗费大量的时间来手工完成。尽管崩溃报告在软件发生错误时被捕获,并发送给软件供应商,但它几乎不能用作漏洞重现。主要的原因是,来自软件用户的崩溃报告通常缺少许多关键因素（例如,软件安装,触发方法）,这使得漏洞重现变得更为困难。更糟糕的是,软件可配置选项（即,一个软件系统被定制以在特定上下文或场景中使用的能力）的不确定性,对重现仅存在于某些特定的软件配置选项中的那些漏洞带来了更大的挑战。本文提出了一种基于相似度比较的解决方案,通过崩溃报告来辅助软件配置选项相关漏洞的重现,以完成具有缺陷二进制的构建过程。首先,调研软件构建过程中可能影响相似度的配置选项,通过相似度分析构建一种度量方法并且总结出一些模式。其次,将推测编译选项作为搜索问题进行建模,通过二进制文件代码相似度的反馈,生成中间二进制文件,使其与崩溃报告中的代码段具有最大的代码相似度。最后,我们使用此中间二进制文件重现该漏洞。为了证明可以高效准确的指出软件编译过程中的软件配置选项,本文实现了系统Ro Bin并且在16个与软件配置选项相关的漏洞上进行了测试。实验结果表明:Ro Bin可以高效的指出含有漏洞的二进制文件所需的软件配置选项,从而帮助软件开发人员重现漏洞报告。
其他文献
为了从环境中捕获更多风能,风电机组朝着高塔筒、长叶片、大功率的大型化方向发展,机组结构变的更加复杂;同时为了减轻质量、节约成本以及出于不同的设计需求,叶片往往被设计为柔性且具有弯、扭、掠等复杂外形的细长形式。这些都导致风电机组面临更为严重的几何非线性、气弹、共振、失稳等动力学问题,需要建立更适用大型风电机组的动力学分析工具来进行机组载荷和运行安全性评估。因此,该文建立了适用于现代大型风电叶片和机组
燃烧室作为航空发动机的三大部件之一,被称为发动机的核心,宽稳定工作边界和高燃烧效率是燃烧室设计的主要目标。随着航空事业的发展,航空发动机推重比不断增大,燃烧室油气比、头部进气量相应增大,这使得燃烧室稳定工作边界不足,燃烧室稳定工作边界不足问题制约着我国航空发动机的发展,传统燃烧室头部设计已经不能满足需求,目前主要通过设计新型燃烧室来拓宽稳定工作边界,新型燃烧室多采用燃油分级、燃烧分区的分区分级组合
低阶煤的分质分级和梯级利用是煤炭清洁高效利用的战略发展方向,主要途径是煤气化和煤热解。气化和热解过程产生的残碳和半焦可以作为燃料再次利用,这类燃料挥发分含量低,称之为超低挥发分碳基燃料,普遍存在着火困难、燃烧稳定性差、燃烧效率低和污染物排放高等问题。预热燃烧技术能够实现难燃固体燃料的高效燃烧及低NOx排放,基于该技术,本课题提出一种将分离和返料装置内置在提升管中的内循环预热装置用于燃料的稳定预热,
在能源利用中热传递的控制和管理是一个关键的目标和方向,而固态器件热管理中一个重要的研究内容就是热整流现象。本文的研究内容就是围绕硫化钼薄膜导热性质和热整流效应开展的。首先,为了测量二硫化钼薄膜的导热系数,本文开展了适用低维材料导热系数测量方法研究,搭建了相应实验台,并采用标准的微米铂丝进行了系统校准。结合自主研制的微纳悬空探测器,利用该系统测量了一种单根纳米竹节状聚合物材料,其极低的导热系数表明该
发动机在高空条件下,由于吸雨、吸雹和进气畸变等因素使得进入燃烧室的气流不稳定,容易引发燃烧室熄火现象,高空环境下,空气温度及压力较低,燃油的雾化蒸发效果较差,造成点火较为困难。目前国内外关于燃烧室在高空极端条件下的再点火研究较少,低温低压环境对燃烧室高空再点火的作用机制尚不明确。针对上述问题及研究现状,本文以单头部及五头部线性排列模型燃烧室为研究对象,对低温低压环境中的流场、燃油分布、燃烧室点火及
燃气轮机是重要的能源动力装备,其应用涉及国计民生的各个方面,是我国目前急需突破的被“卡脖子”的技术之一。污染排放问题是制约我国燃气轮机产业发展的重要问题,排放不达标将不能进入商业市场,燃气轮机技术无法在激烈的市场环境中积累运行数据从而实现技术的迭代升级。突破燃气轮机的低污染燃烧技术,将有助于提高我国燃气轮机的竞争力,促进燃气轮机产业良性发展。本文在文献和案例研究的基础上,围绕燃气轮机低污染燃烧室中
碳烟主要由燃料的不完全燃烧产生,碳烟对环境和人体健康的不利影响以及工业对炭黑生产的需求都需要我们对碳烟生成机理和碳烟模型进行研究。碳烟生成是燃烧过程中最复杂的现象之一,涉及燃烧化学、流体力学、质量热输运和颗粒动力学之间的复杂相互作用,尽管经过几十年的研究,有关碳烟生成仍有许多基础性科研问题没有解决。因此,本文采用分子动力学方法对碳氢燃料燃烧过程中的碳烟生成机理和模型进行研究。论文首先阐明了碳烟对环
由于传统化石能源导致的环境污染,以化石能源作为动力来源的动力机械未来的发展更注重于新能源的开发和利用,而太阳能作为取之不尽、用之不竭的新型清洁能源,以太阳能作为动力来源的动力机械将会是未来发展的核心方向之一。高空长航时太阳能无人机是无人机技术与太阳能动力技术结合的产物,采用光伏电池和储能电池作为能源系统,利用太阳能作为其动力来源,通过太阳能的综合利用实现超长航时的飞行,具有跨昼夜甚至跨月持续飞行的
随着铁路技术的飞速发展,列车安全问题也备受瞩目,但是列车故障检测涉及的数据量庞大,处理过程复杂。异构并行系统的强大计算资源与深度学习的发展也为大数据处理带来了新的方向。如何结合大数据异构并行处理与深度学习技术解决列车故障检测问题,并保证其稳定性、可靠性和高效性,面临着巨大的挑战。本文从面向列车故障检测的大数据处理应用着手,从平台体系结构、与深度学习系统的通信技术、编程框架等方面设计并实现面向列车故
随着能源需求日益增长和环境可持续发展受到越来越多的重视,以二氧化碳为循环工质的超临界二氧化碳布雷顿循环发电和跨临界二氧化碳热泵以清洁高效、节能环保的特点展现出了广阔的应用前景,引起了广泛的关注。高压紧凑式换热器是超临界压力二氧化碳循环系统中的重要部件。一方面,超临界流体在临界点附近的物性剧变特点导致二氧化碳独特的管内流动换热特性,另一方面,非均匀热容、沿程换热及压降的多变特性使换热器的优化方法不同