基于懒符号执行的软件脆弱性路径求解算法

• 作者: 周林 甘水滔 秦晓军 陈左宁
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件脆弱性 静态分析 懒符号执行 条件约束集概率
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 软件工程
• 页码范围: 2290-2300
• 页数: 11页
• 分类号: TP311
• 字数: 10279字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2015.02290

摘要

为了解决软件测试中路径爆炸、新路径发现率低以及静态分析中虚报率高等问题，提出了动静态分析结合的脆弱性挖掘框架，并针对循环爆炸问题设计了基于懒符号执行的路径求解算法，该路径求解算法应用最短路径、条件约束集概率和可达路径数量3种静态信息制导符号执行，提高了路径选择的准确率，能较快地逼近脆弱点，并利用懒符号执行技术自动识别循环结构，通过推迟变量实例化等方法，有效地缓解了循环结构的路径组合爆炸问题，最终生成到达脆弱点集的数据包．对 coreutils6．10命令包的实验结果表明，与现有的方法 KLEE、Otter 和SAGE 相比，该文提出的方法可以有效地对具有较多分支的程序进行分析，当测试程序越大其优势越明显．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈左宁		40	174	7.0	12.0
2	秦晓军		11	20	3.0	4.0
3	周林		3	14	2.0	3.0
4	甘水滔		6	12	1.0	3.0