结合静态分析与动态符号执行的软件漏洞检测方法

• 作者: 何骏 熊达鹏 蔡军 邹鹏
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 软件漏洞检测 静态分析 动态符号执行 危险路径
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 2536-2541
• 页数: 6页
• 分类号: TP309
• 字数: 4263字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2016.12.021

摘要

动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率.然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通向漏洞.提出一种基于静态分析的有导动态符号执行方法,并实现了一个工具原型SAGDSE.该方法通过静态分析识别目标程序中调用危险函数的指令地址,在动态符号执行过程中遇到这些指令地址时收集危险路径约束,再通过约束求解生成走危险路径的测试用例,这些测试用例将更可能触发程序漏洞.实验结果表明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡军	装备学院复杂电子系统仿真实验室	6	26	3.0	5.0
2	邹鹏	装备学院复杂电子系统仿真实验室	15	52	4.0	6.0
3	何骏	装备学院复杂电子系统仿真实验室	7	29	3.0	5.0
4	熊达鹏	装备学院复杂电子系统仿真实验室	2	9	2.0	2.0