-
题名一种基于程序功能标签切片的制导符号执行分析方法
被引量：4
- 1
-
-
作者
甘水滔
王林章
谢向辉
秦晓军
周林
陈左宁
-
机构
(数学工程与先进计算国家重点实验室
(计算机软件新技术国家重点实验室(南京大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第11期3259-3280,共22页
-
基金
国家自然科学基金(91318301,61170066,6147179)~~
-
文摘
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.
-
关键词
制导符号执行
分支覆盖率
指令覆盖率
搜索策略
程序切片
-
Keywords
guided symbolic execution
branch coverage
instruction coverage
search strategy
program slice
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
