覆盖率导向式灰盒模糊测试优化方法研究

来源 :北京交通大学 | 被引量 : 0次 | 上传用户:lovewxb1982
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模糊测试技术(fuzzing)由于自动化程度高,测试速度快的优点,已经被证明是最有效的漏洞检测技术之一。然而模糊测试的测试用例生成方式过于盲目和随机,导致其浪费大量时间用于无效测试。以覆盖率为导向的灰盒模糊测试是一种白盒模糊测试与黑盒模糊测试相结合的漏洞检测技术,它通过在程序中轻量级插桩获取程序运行时的关键信息,同时利用这部分关键信息引导测试用例生成,以探索程序的新路径。AFL(American Fuzzy Lop)是目前最优秀的覆盖率导向式灰盒模糊测试工具之一,也是模糊测试领域的研究重点。AFL的优势明显但依然存在一些缺陷。首先,AFL的变异策略将种子文件的所有字节区域视为等价,这使得AFL浪费太多时间在无效区域的变异上;其次,对于某些较大的种子文件,AFL将陷入挂起状态,这将导致开销急剧增加。针对以上问题,本文的工作如下:(1)提出了一种变异策略优化方法。该方法利用程序的局部性原理对AFL的变异策略进行优化,通过对每个种子文件设置动态偏移量,选择性的对偏移量附近的字节和头部字节进行变异,从而提高模糊测试的路径覆盖率和效率。(2)提出了一种调度策略优化方法。针对某些较大的种子文件,本文通过设置新增路径阈值和时间阈值,当变异不足以产生足够多的路径或者耗费太多时间时,立即跳过当前变异阶段,防止测试进入挂起状态。(3)本文在AFL的基础上利用上述方法实现了覆盖率导向式灰盒模糊测试工具AFLEdge,并以AFL和AFLFast作为基准线,选取四个真实程序和一个公开测试集进行对比实验,分析比较三者的路径覆盖率和漏洞检测能力。实验表明,AFLEdge在24小时内的路径覆盖总数相较于AFL和AFLFast分别提升了92.4%和49.3%;在漏洞检测方面,AFLEdge在24小时内发现的漏洞数比AFL提升了75.0%,基本与AFLFast持平,证明了本文提出的优化方法的有效性。
其他文献
随着近年来世界经济日新月异的发展,人口不断增长,随之而来的是出行压力的骤增,目前世界各国的交通运输系统仍是铁路运输占据最重要地位。出行交通工具的低污染、高速化、安全性成了追求的目标,而磁悬浮列车正是由于其速度快、爬坡能力强、环保舒适、噪音低等一系列优点,成为各国轨道交通领域的研究热点。磁悬浮列车从根本上改变了传统轨道交通车辆轮轨相互粘着的结构、很大程度上解决了机械磨损等问题,实现了列车和轨道间的悬
DNN训练处理器朝着多核多内存的方向发展,多个计算节点和多个内存节点以片上网络的方式进行片上互联是未来的研究趋势。DNN训练过程是计算密集型任务,需要多计算节点协同完成。DNN训练过程具有层同步性,则多个片上计算节点在并发执行卷积层或全连接层的计算任务时,训练性能取决于最慢的节点,即短板效应。为了避免单个计算节点成为执行训练任务的短板,需要解决各计算节点间访存公平性问题。同时处理器的操作速度要高于
在当今大数据时代,数据融合技术在各行各业中都扮演着极为重要的角色。在交通领域,由于客观上存在的成本考量与数据维护能力考量之类的情况,因此只能对少数的重要路网节点、路网路段的交通数据进行采集,导致对路网整体的管控能力产生一定影响,而解决此问题也正是交通数据融合的最大意义所在。利用多源数据采集技术与交通大数据融合技术,人们能够对无检测器路段或无检测器交叉口区域的各项缺失的交通参数进行科学合理的推算,并
辅助变流器是地铁车辆最重要的电气组成部分之一,随着SiC器件商业化应用,辅助变流器的轻量化有望大幅提升。本文针对SiC器件应用于车载变流器时的动态性能优化技术问题,围绕基于最低损耗点的驱动参数选择策略、低寄生电感功率回路设计技术展开了深入研究,并通过大量仿真、实验对理论研究成果进行了验证。建立考虑寄生参数影响的开关瞬态模型,推导SiC MOSFET开关瞬态的电气应力和开关损耗解析表达式,通过理论定
现阶段中小跨径梁桥依然是我国桥梁的主要形式,板式橡胶支座是公路中小跨径梁桥普遍采用的支座形式。汶川地震的震后调查报告显示,震区梁桥的破坏形式主要是板式橡胶支座的滑移、挡块的破坏、梁体移位以及落梁,而桥墩的受损率非常低,这说明支座的摩擦滑移会减小上部结构传给桥墩的惯性力,有利于桥梁整体抗震。目前学者对支座正常工作状态的研究较为详尽,但对于地震作用下支座损伤的研究仍在发展。本文将对支座滑移之后的性能变
随着列车运行控制系统技术的发展,以全球卫星导航系统(Global Navigation Satellites System,GNSS)实现“车载中心化”的列车定位需要电子轨道地图作为参考,是目前列车定位的重要研究方向。其地理位置信息及拓扑关系能够有效辅助列车占用轨道识别和列车完整性检查。电子轨道地图是列控系统的重要信息源,对列控系统提高列车定位精度、降低运营成本、提高运输效率起到关键作用,因此研究
受新冠疫情影响,大量餐馆倒闭人工服务业受到重创。为改善用餐环境、降低疫情传播风险,本文设计了一款基于ROS(机器人操作系统,Robot Operating System),集图像识别、机械臂控制、AGV(自动导航小车,Automated Guided Vehicle)导航避障为一体的智能送餐机器人。与传统设计方案相比,基于ROS的设计更加泛化,可移植算法到其配备的仿真软件中进行可靠性测试,减少重复
随着移动设备的普及与互联网的发展,在线广告已经成为互联网公司商业变现的重要手段。传统广告投放模式下,广告投放系统通过在用户浏览页面时强制展示广告的方式实现广告的触达,广告的展示形式与页面内容上下文独立,用户频繁被不感兴趣的广告所打扰,用户体验较差。并且由于投放策略单一,传统广告投放无法满足广告主不断增加的目标人群精准化的广告触达诉求。为解决上述问题,本文设计并实现了面向信息流的广告投放系统。该系统
质量管理与控制是企业实现预防原则、保持生产稳定的重要手段。只有工序质量满足制造要求,才能实现产品开发设计时所设定的质量目标、生产出满足用户期望的优质装备产品。传统的工序质量分析系统主要以excel计算方式和小型质量分析计算系统为主,其计算能力有限。随着公司装备部门业务规模的扩大以及工厂实际生产能力的提升,相关的工业装备数据出现了爆炸式的增长,平均每天需接入十亿级数据量。传统的工序质量分析系统在处理
进入新时代以后,我国经济发展日新月异,城市化进程日益加快,轨道交通行业进入了飞速发展期。城轨列车由于它高效、节能和运量大的特点,逐渐成为城市居民日常出行的首选交通工具,列车的安全运营也变得愈发重要。通常情况下,城轨列车的安全运行由列车的自动防护系统(ATP,Automatic Train Protection)保障。近年来,地铁公司营运的列车在实际营运过程中,由于ATP系统切除后,引发的安全事故越