基于GCC的符号执行工具

• 作者: 刘湿润
• 来源期刊: 软件
• 学科: 工学
• 关键词: 信息安全 静态分析 符号执行 GCC 误报
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 设计研究与应用
• 页码范围: 97-101
• 页数: 5页
• 分类号: TP311.1
• 字数: 4059字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6970.2016.12.022

摘要

静态分析和符号执行是发现源代码缺陷和提高源代码质量的两种有效方式。然而，这两种技术都面临各自的问题，静态分析误报率较高和符号执行一直面临着路径爆炸难题。为了减少静态分析和符号执行的这些限制，本文构建了一个称为 ABARZER-SE 的工具，它是第一个基于 GCC 结合符号执行和静态分析的源代码检测工具。ABAZER-SE由两个阶段组成，第一阶段是通过符号执行获取可行性路径，第二阶段应用静态分析技术对可行性路径分析找到源代码中缺陷。实验结果表明该工具具有可行性、有效性和可扩展性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘湿润		2	0	0.0	0.0