C/C++程序安全检查工具前端的设计与实现

摘要

本文在分析C/C++程序安全检查工具框架的基础上，根据安全检查的特殊需求，给出了一种基于分析器自动生成工具ANTLR构造C/C++安全检查工具前端的方法，并将此方法应用于实际开发过程中。使用此方法构造的前端通过分析软件源代码为后端安全检查提供符号信息、抽象语法树和控制流图。 本文使用ANTLR生成词法分析器、语法分析器、抽象语法树及其遍历框架，重点讨论了符号表的设计与实现、抽象语法树的设计与实现和控制流图的生成。实践表明，该前端能够满足工具安全检查的需要。

目录

文摘

英文文摘

声明

第一章绪论

1.1研究背景

1.2 C/C++程序安全检查工具概述

1.3本文工作及内容组织

第二章ANTLR与C/C++程序安全检查工具前端

2.1分析器自动生成工具ANTLR

2.1.1语法分析器

2.1.2分析器自动生成工具ANTLR的特点

2.2使用ANTLR设计前端

2.2.1 C/C++程序安全检查工具前端

2.2.2 ANTLR在构造前端中的作用

第三章C/C++程序安全检查工具前端的设计与实现

3.1前端的整体结构

3.2符号表的设计和实现

3.2.1符号表概述

3.2.2符号表的结构

3.2.3类型定义信息的存储

3.2.4函数定义信息的存储

3.2.5变量定义信息的存储

3.3抽象语法树的设计和实现

3.3.1抽象语法树的存储结构

3.3.2抽象语法树的节点设计

3.3.3抽象语法树的生成

3.4控制流图的生成

3.4.1控制流图概述

3.4.2控制流图的生成

第四章C/C++程序安全检查工具前端构造的关键技术

4.1嵌套类型信息的处理

4.2声明和定义信息的处理

4.2.1类型的等价判定

4.2.2函数声明和定义信息的处理

4.2.3全局变量声明和定义信息的处理

4.2.4类型声明和定义信息的处理

4.3抽象语法树的存储管理

4.3.1抽象语法树节点的生成

4.3.2抽象语法树节点的销毁

4.4跳转语句控制流图的生成

第五章实例分析

第六章结束语

致谢

参考文献

在校期间研究成果

附录A简单计算器完整实现