Angora:一种基于搜索的模糊测试方法

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:sunboy92121
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模糊测试是一种用于查找软件漏洞的流行技术。然而,最先进的模糊测试工具还有很多不足之处。基于符号执行的模糊测试工具虽然能产生高质量的输入,但运行缓慢,而基于随机修改的模糊测试工具虽然运行速度快,但难以产生高质量的输入。提出了一种新的基于修改的模糊测试工具,称为Angora,其性能远远优于目前最先进的模糊测试工具。Angora的主要目标是通过非符号执行的手段来解决路径约束,从而增加访问的代码覆盖范围。为了有效地解决路径约束,提出了了下面几个关键技术:高效的字节级污点跟踪,上下文敏感的路径分支检测,基于梯度下降的搜索和输入长度的智能修改等。在LAVA-M数据集中,Angora找到了几乎所有注入的漏洞,发现了比任何其他模糊测试工具更多的漏洞,并且在程序who中找到的漏洞数量是当前在该数据集上第二好的模糊测试工具的8倍。Angora还发现了LAVA作者注入但未能触发的103个漏洞。还测试了八个流行的成熟开源程序。Angora在file,jhead,nm,objdump和size程序里分别找到了6,52,29,40和48个新的程序崩溃。同时,测量了Angora在这几个程序中模糊测试得到的的代码覆盖率,并评估了其关键技术对其总的性能结果的贡献。
其他文献
随着目前生活节奏的不断加快,人们提出了移动上网的需求.为了与当前最通用的通信协议——IP相融合,互联网工程任务组在经过了多年的讨论之后提出了移动IP作为解决方案.移动IP
该文简要描述了第三代移动通信协议主要方案之一的TDD-WCDMA系统测试平台的实现,并分析了它所面对的频率选择性衰落信道.在这种协议框架下,软件仿真和硬件测试表明Rake接收技
该文系统地讨论了手写汉字脱机识别后处理中应用最广泛的技术:基于统计语料库的后处理方法和基于词匹配的后处理方法.该论文首先提出了一种新颖的方法来估算单字识别的结果.
当地时间2月20日,澜沧江-湄公河合作第五次外长会在老挝万象举行.会上,六国外长回顾了澜湄合作第二次领导人会议和第四次外长会成果落实情况,在谈到六国产能合作相关领域问题
期刊
该文主要研究了基于J2EE平台的软件开发过程中遇到的软件应用结构设计以及开发过程定义问题.J2EE是目前企业WEB应用开发主流平台之一,有效地控制J2EE应用项目的开发是软件开
本文研究工作包括室内饲养和田间调查两个部分:(1)室内评价了取食转Bt棉叶的棉铃虫幼虫对草间钻头蛛(Hylyphantesgraminicola)和八斑鞘腹蛛(Coleosomaoctomaculatum)生长发育
产业用纺织品是新材料产业的重要组成部分,不仅广泛应用于民生产业,而且在国家战略安全中发挥着重要的作用,已经成为医疗卫生、安全防护、环境保护、基础设施建设、新能源、
期刊
2月22—23日,由CCTV-发现之旅频道《纪录东方》栏目制作的纪录片大国协会的初心与使命系列之《纤维改变生活》在该频道播出《纤维改变生活》节目组分别采访了中国纺织工业联
期刊
经典的无线通信系统是根据香农分离定理进行设计的,由信源编码、信道编码与调制三个独立环节组成。信源编码的目的是压缩信息的冗余,提高数据传输效率;信道编码的目的是通过增
2月下旬以来,全国多数地区纺织企业陆续迎来复工复产,纺织企业的经济保卫战也随之展开.面对疫情考验,纺企纷纷坚定信心,狠练内功,着眼未来不可否认,这次疫情对不少纺织服装企
期刊