| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-9页 |
| ·C/C++语言及其程序安全 | 第7-8页 |
| ·静态安全检查的现状 | 第8-9页 |
| ·C/C++安全检查工具概述 | 第9-10页 |
| ·本文工作及内容组织 | 第10-13页 |
| 第二章 ANTLR中抽象语法树的实现 | 第13-25页 |
| ·抽象语法树概述 | 第13-14页 |
| ·抽象语法树实现方法对比 | 第14-16页 |
| ·ANTLR概述 | 第16-23页 |
| ·ANTLR中抽象语法树的存储结构 | 第16-17页 |
| ·ANTLR中抽象语法树的构建 | 第17-20页 |
| ·ANTLR中树结点的管理机制 | 第20-22页 |
| ·ANTLR中抽象语法树的遍历 | 第22-23页 |
| ·本章小结 | 第23-25页 |
| 第三章 抽象语法树的设计 | 第25-41页 |
| ·抽象语法树的设计 | 第25页 |
| ·抽象语法树中树型结构的设计 | 第25-35页 |
| ·表达式的抽象语法树结构 | 第26-31页 |
| ·变量声明的抽象语法树结构 | 第31-32页 |
| ·语句的抽象语法树结构 | 第32-35页 |
| ·抽象语法树中结点类的设计 | 第35-39页 |
| ·本章小结 | 第39-41页 |
| 第四章 成员函数抽象语法树的构建和抽象语法树的实例化 | 第41-51页 |
| ·定义在类体内的成员函数抽象语法树的构建 | 第41-42页 |
| ·抽象语法树的实例化 | 第42-49页 |
| ·函数模板和抽象语法树的实例化 | 第42-44页 |
| ·非成员函数模板对应抽象语法树的实例化 | 第44-49页 |
| ·成员函数模板对应抽象语法树的实例化 | 第49页 |
| ·本章小结 | 第49-51页 |
| 第五章 抽象语法树在安全检查工具中的应用 | 第51-63页 |
| ·在安全检查工具前端中的使用 | 第51-58页 |
| ·数组下标值的推断 | 第51-55页 |
| ·表达式类型计算 | 第55-58页 |
| ·switch语句安全漏洞检查 | 第58-61页 |
| ·本章小结 | 第61-63页 |
| 第六章 结束语 | 第63-65页 |
| 致谢 | 第65-67页 |
| 参考文献 | 第67-69页 |
| 在校期间研究成果 | 第69页 |