一种基于程序功能标签切片的制导符号执行分析方法

• 作者: 周林 王林章 甘水滔 秦晓军 谢向辉 陈左宁
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 制导符号执行 分支覆盖率 指令覆盖率 搜索策略 程序切片
• 年，卷（期）: 2019,（11）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 3259-3280
• 页数: 22页
• 分类号: TP311
• 字数: 15015字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005562

摘要

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31％,程序指令覆盖率平均提升了8.95％,程序分支覆盖率平均提升了8.28％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢向辉		44	95	5.0	8.0
2	甘水滔		5	19	2.0	4.0
3	陈左宁		5	28	3.0	5.0
4	秦晓军		4	19	2.0	4.0
5	周林		2	4	2.0	2.0