基于符号执行技术的C++程序静态分析

• 作者: 孙文全 李兆鹏
• 来源期刊: 电子技术
• 学科: 工学
• 关键词: 符号执行 C++语言 静态分析 LLVM
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 电子技术设计与应用
• 页码范围: 97-104
• 页数: 8页
• 分类号: TP311
• 字数: 9633字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0755.2018.08.027

摘要

C++作为一种基础性的编程语言,由于其使用领域的敏感性和相对其他主流编程语言的脆弱性,一直是静态分析软件所关注的重点.符号执行分析拥有很高的精确度和覆盖率,并已经出现了针对C语言进行分析的行解决方案.Clang是一个基于LLVM的开源C/C++语言编译器,ShapeChecker是一个使用Clang作为前端的C语言符号执行分析器,本文利用Clang编译C/C++语言后中间表示的相似性,将原有的分析功能拓展到C++语言上.本文提出了一组拓展方法用以支持C++的面向对象特性和异常处理特性,并在ShapeChecker分析器上进行实验,取得了良好的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙文全	中国科学技术大学计算机科学与技术学院	1	1	1.0	1.0
2	李兆鹏		1	1	1.0	1.0