基于禁忌搜索的动态符号执行方法
2015-04-13蔡军邹鹏马金鑫何骏
北京航空航天大学学报 2015年12期
关键词:符号
蔡军,邹鹏 ,马金鑫,何骏
(1.装备学院 复杂电子系统仿真实验室,北京101416; 2.中国信息安全测评中心,北京100085)
21 世纪是网络时代,信息网络已经成为全球经济中最重要的基础设施,与此同时,网络安全问题成为潜藏在我们每一个人身边的现实威胁,软件漏洞是网络安全问题的根源之一,大部分网络攻击都是基于软件漏洞来实施的.例如2014 年9 月发现的“ShellShock”漏洞,被称为是历来发现的最严重和最普遍的软件漏洞之一,利用这一漏洞,远程攻击者可能在受影响的系统上执行任意代码,其危害性震撼全球.因此,软件漏洞检测在网络安全领域受到了越来越多的关注.
本文主要研究面向二进制程序的动态漏洞检测方法.目前主流的动态漏洞检测方法包括模糊测试、动态符号执行和动态污点分析3 种方法.模糊测试的基本思想是:构造大量畸形输入,交给目标程序执行,如果程序产生异常(崩溃、挂起等),就有可能存在一个潜在的漏洞;动态污点分析追踪用户输入在程序执行过程中的传播,通过检查软件中的安全敏感操作的输入数据是否为污点数据来检测漏洞.以上两种方法都有各自的优缺点,模糊测试使用简单但是随机性太强,动态污点分析能够精确分析漏洞成因但是只能分析当前已经执行到的程序路径,使用这两种方法的共同缺点是难以获得较高的代码覆盖率.代码覆盖率是软件在测试中执行到的代码量占软件代码总量的比……
登录APP查看全文
