基于符号执行的漏洞挖掘系统的研究与设计

来源 :江苏大学 | 被引量 : 0次 | 上传用户:ivsou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,软件漏洞都是各种网络攻击的主要根源,它不仅是病毒、蠕虫等的重要传播途径,也是网络攻防的攻击焦点,绝大多数的网络入侵都是基于软件的漏洞进行的。攻击者可以利用这些漏洞访问到未授权的系统资源,进而可以破坏系统中重要的数据信息,从而对信息系统安全造成了极大地威胁,因而信息安全领域的核心问题之一就是计算机系统中存在的各种软件漏洞。   软件漏洞挖掘的主要方法是通过精心构造测试数据输入程序来触发漏洞,由此可见如何生成测试数据是该技术的关键,也是成功挖掘漏洞的关键。本文立足于二进制代码的漏洞挖掘技术研究,将应用在源码检测的符号执行技术应用到二进制代码中,并将其与Fuzzing方法结合来进行针对于二进制代码的漏洞挖掘技术的研究。   本文在分析漏洞存在原理和触发条件的基础上,研究并设计了一个更为高效的漏洞挖掘的系统。该系统所采用的方法是通过不安全函数来定位漏洞的触发点,深度与宽度混合遍历来确定触发的路径,利用符号执行技术来确立漏洞触发的条件,最后再根据条件生成测试数据,将数据注入程序驱动程序执行,最后通过异常检测技术来确定漏洞的存在。这样生成的数据不仅有更高针对性,并且还提高了代码的覆盖率,从而能提高漏洞挖掘的效率和准确性。   然后,本文设计了基于此方法的原型系统,并运用对比等测试手段对该原型系统进行了漏洞挖掘实验。实验结果表明本文的漏洞挖掘方法能更有效的发现软件漏洞,验证了该技术方法的可行性和有效性。
其他文献
随着物联网的发展,室内环境中的基于位置的服务(Location Based Service,LBS)备受关注,同时也推动了室内定位技术的进一步发展,使其成为定位领域的一个重要的研究方向。通过
随着计算机技术的发展,在生活的各个方面也对计算机化提出了更多的要求,这就促使了嵌入式系统的进一步发展。  本论文选择嵌入式下的文件系统这一课题进行研究和实现。工作包
摘要:随着微阵列技术的广泛应用,越来越多的基因表达数据被获取,如何从海量的数据中提取有生物学意义的信息,是目前生物信息学的一个重点研究方向。功能相近的基因其表达模式
在Internet快速普及的进程中,电子商务等信息呈现服务正在以难以置信的速度急速发展。客户面对这些信息呈现服务中的众多选择,从中挑选出自己真正需要和喜欢的项目已成为一个重
随着信息技术的不断发展,世界已逐渐变成一个信息的海洋,人们被信息浪潮所淹没,如何实现大量信息的自动分类,并且从这些信息中自动分类出有用的信息是一个重要的研究领域。文本作
伴随着互联网的高速发展,网络上的数据信息量急剧膨胀,有“互联网窗口”之称的搜索引擎的计算量及存储量不可同日而语。面对如此庞大且高速增长的海量数据,传统集中式搜索引擎暴
随着大数据时代的到来,各个领域为用户挖掘有效信息已成研究重点。微博是现在主要社交平台之一,由于微博传播快、实时性强导致微博数据量非常大,因此国内外为微博用户推荐有
随着信息技术的快速发展和无线网络、移动通信应用的广泛普及,一种新型移动计算机网络——无线移动自组网应运而生。与传统的无线通信网络不同,Ad Hoc网络具有无固定基础基站
随着移动互联网时代的到来,人们接触的信息内容无限扩大,渠道无限便利。短视频作为新的媒体形式呈现在用户面前,并且迅速拥有巨大的用户规模。短视频所具有信息呈现维度更高,
社会化推荐系统是为了缓解传统推荐系统的数据稀疏性与冷启动问题所提出的推荐方法。随着社交平台的流行,用户的社会化信息蕴藏着丰富的挖掘价值,因此,将用户的社会化信息作