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

甘水滔; 王林章; 谢向辉; 秦晓军; 周林; 陈左宁

首页> 中文期刊> 《软件学报》 >一种基于程序功能标签切片的制导符号执行分析方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |2019年第11期|3259-3280|共22页
作者
甘水滔; 王林章; 谢向辉; 秦晓军; 周林; 陈左宁;
展开▼
作者单位

数学工程与先进计算国家重点实验室江苏无锡214083;

计算机软件新技术国家重点实验室(南京大学) 江苏南京210023;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
制导符号执行; 分支覆盖率; 指令覆盖率; 搜索策略; 程序切片;

相似文献

中文文献
外文文献
专利

1. 一种符号执行制导的循环内界分析方法 [J] . 赵祖威 ,冯世宁 ,汤恩义 . 电子学报 . 2017,第011期
2. 基于性质制导符号执行的Linux驱动程序缺陷检测研究 [J] . 陈英杰 ,陈振邦 ,董威 . 计算机工程与科学 . 2017,第004期
3. 一种基于程序切片的C语言程序评测方法 [J] . 李欣潼 . 软件 . 2018,第010期
4. 一种基于逆向程序流的程序切片算法 [J] . 白文科 ,杨献春 ,许满武 . 计算机应用研究 . 2009,第003期
5. 一种基于程序可达图的并发程序依赖性分析方法 [J] . 戚晓芳 ,徐宝文 ,周晓宇 . 电子学报 . 2007,第002期
6. 一种基于程序切片的缓冲区溢出漏洞检测方法 [C] . 张迎周 ,钱晓飞 ,李频 . 2008中国计算机大会 . 2008
7. 基于程序切片和符号执行的不可达路径检测方法 [A] . 徐曼青 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅