安全检证工具中抽象语法树的设计与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-20页 |
| ·研究背景 | 第10-11页 |
| ·国内外研究现状与分析 | 第11-15页 |
| ·国内外研究现状 | 第11-13页 |
| ·国内外主要分析方法与工具 | 第13-15页 |
| ·安全检证工具概述 | 第15-17页 |
| ·工具性能 | 第15-16页 |
| ·工具框架结构 | 第16-17页 |
| ·主要研究工作 | 第17-18页 |
| ·论文的组织结构 | 第18-20页 |
| 第二章 相关知识介绍 | 第20-28页 |
| ·SVT 前端基处理 | 第20-21页 |
| ·SVT 前端基处理模块的框架结构 | 第20页 |
| ·前端基处理模块的独立设计 | 第20-21页 |
| ·相关知识概述 | 第21-24页 |
| ·中间表示 | 第21-22页 |
| ·预处理器、词法、语法分析器概述 | 第22-23页 |
| ·分析器自动生成工具的介绍 | 第23-24页 |
| ·ANTLR 概述 | 第24-27页 |
| ·定义、特点 | 第24-27页 |
| ·ANTLR 在构造分析器中的工作 | 第27页 |
| ·本章小结 | 第27-28页 |
| 第三章 ANTLR 中抽象语法树的构建 | 第28-40页 |
| ·ANTLR 提供的语言文法 | 第28-31页 |
| ·语言文法和产生式 | 第28页 |
| ·词法分析规则 | 第28-29页 |
| ·语法分析规则 | 第29-30页 |
| ·树分析规则 | 第30-31页 |
| ·抽象语法树概述 | 第31-32页 |
| ·ANTLR 中抽象语法树的存储结构 | 第32-33页 |
| ·抽象语法树的构建方法 | 第33-38页 |
| ·由语法注释构建抽象语法树 | 第33-35页 |
| ·通过规则重写构建抽象语法树 | 第35-36页 |
| ·建立虚拟节点 | 第36-38页 |
| ·规则 Action 树结构转化 | 第38页 |
| ·语法树构建过程中的内存管理机制 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 抽象语法树结构设计与实现 | 第40-50页 |
| ·抽象语法树节点类的设计与实现 | 第40-41页 |
| ·抽象语法树语句结构的设计与实现 | 第41-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 抽象语法树生成验证 | 第50-53页 |
| ·实例验证 | 第50-52页 |
| ·本章小结 | 第52-53页 |
| 第六章 总结与展望 | 第53-54页 |
| ·总结 | 第53页 |
| ·展望 | 第53-54页 |
| 参考文献 | 第54-56页 |
| 致谢 | 第56-57页 |
| 作者简介 | 第57页 |
