一种针对格式文件的符号执行优化方法

• 作者: 李明树 杨秋松 汪孙律
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 符号执行 文件格式 路径爆炸 缺陷查找
• 年，卷（期）: 2020,（12）
• 所属期刊栏目: 学术论文
• 页码范围: 2417-2424
• 页数: 8页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2020.12.018

摘要

为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了针对文件格式数据块约束的符号执行分析方法(FFCBSE,File Format Constraint Based Symbolic Execution)优化框架.文件格式信息的缺失会影响符号执行的效率以及测试用例生成,该方法通过分析程序代码自动分析程序读取的格式文件数据块之间的依赖关系并建立相关约束,随后使用这些约束引导符号执行更关注于核心功能代码区域.在KLEE中实现了上述优化框架,并对Tcpdump、Readelf、Elfdump、File、Zlib等7个常用文件处理程序做了检测.和KLEE以及DASE相比,FFCBSE发现了13个之前未知的缺陷,在指令覆盖率和分支覆盖率有10％～225％不同程度的提升.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明树	中国科学院软件研究所	59	1430	21.0	36.0
2	汪孙律	中国科学院软件研究所	2	1	1.0	1.0
3	杨秋松	中国科学院软件研究所	20	33	3.0	5.0