结合静态分析与动态符号执行的软件漏洞检测方法
【出 处】:
【作 者】:
蔡军
;
邹鹏
;
熊达鹏
;
何骏
【摘 要】
动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法,并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址,在动态符号执行过程中遇到这些指令地址时收集危险路径约束,再通过约束求解生成走危险路径的测试用例,这些测试用例将更可能触发程序漏洞。实验结果表明了该方法的有效性。
相关热词搜索: 软件漏洞检测 静态分析 动态符号执行 危险路径 software vulnerability detection static analysis dynamic symbolic execution dangerous path
上一篇:基于E-CARGO模型的多任务分配算法
下一篇:基于认知的智能电网家域接入控制网络非合作博弈功率控制算法比较研究