基于输入约束的符号执行优化

• 作者: 李明树 杨秋松 林渝淇 汪孙律
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 符号执行 输入约束 路径爆炸 缺陷查找
• 年，卷（期）: 2019,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 19-27
• 页数: 9页
• 分类号: TP311
• 字数: 7050字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2019062

摘要

为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架.该方法通过分析程序代码自动提取3类输入约束,随后使用这些约束引导符号执行更关注于核心功能代码.在KLEE中实现了上述优化框架,并对coreutils、binutils、grep、patch、diff这5个程序套件中的7个常用程序做了检测.ICBSE发现了7个之前未知的缺陷(KLEE只检测其中3个).同时,ICBSE将指令行覆盖率、分支覆盖率分别提升了约20％,时间开销降低了约15％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明树	中国科学院软件研究所基础软件国家工程研究中心	59	1430	21.0	36.0
2	汪孙律	中国科学院软件研究所基础软件国家工程研究中心	2	1	1.0	1.0
3	林渝淇	中国科学院软件研究所基础软件国家工程研究中心	2	21	1.0	2.0
4	杨秋松	中国科学院软件研究所基础软件国家工程研究中心	20	33	3.0	5.0