安全检查工具中Java前端的研究与构建
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-9页 |
| ·软件安全漏洞与安全检查 | 第7-8页 |
| ·相关工作 | 第8-9页 |
| ·论文背景 | 第9-11页 |
| ·论文内容及组织 | 第11-13页 |
| ·论文内容 | 第11页 |
| ·论文的组织 | 第11-13页 |
| 第二章 相关工具及相关模块 | 第13-21页 |
| ·相关工具 | 第13-16页 |
| ·JDK1.6相关接口 | 第13-14页 |
| ·ANTLR及相关理论 | 第14-16页 |
| ·安全检查工具相关模块 | 第16-21页 |
| ·符号表模块 | 第16-17页 |
| ·抽象语法树 | 第17-21页 |
| 第三章 Java前端框架设计 | 第21-27页 |
| ·Java前端的设计分析 | 第21-23页 |
| ·框架设计和流程分析 | 第23-27页 |
| ·Java前端框架 | 第23-24页 |
| ·Java前端处理流程 | 第24-27页 |
| 第四章 预处理模块的设计与实现 | 第27-41页 |
| ·预处理模块的整体结构 | 第27-28页 |
| ·预处理结果文件格式的设计 | 第28-34页 |
| ·预处理结果的载体选择和存储划分 | 第28-29页 |
| ·预处理结果文件的格式 | 第29-31页 |
| ·文件中的抽象语法树结点 | 第31-33页 |
| ·文件中抽象语法树结点之间的关系 | 第33-34页 |
| ·预处理模块的实现 | 第34-41页 |
| ·预处理模块的整体框架 | 第35-36页 |
| ·信息的获取及导出 | 第36-38页 |
| ·抽象语法树的遍历 | 第38-41页 |
| 第五章 中间表示的生成 | 第41-61页 |
| ·中间表示的生成原理 | 第41-42页 |
| ·中间表示的扩展 | 第42-51页 |
| ·Java语言与C/C++语言的不同点 | 第43页 |
| ·符号表的扩展 | 第43-47页 |
| ·抽象语法树的扩展 | 第47-51页 |
| ·中间表示生成的语义处理 | 第51-61页 |
| ·上层类全路径名的语义处理 | 第51-52页 |
| ·类定义的语义处理 | 第52-53页 |
| ·方法定义的语义处理 | 第53-55页 |
| ·变量定义的语义处理 | 第55-57页 |
| ·表达式和语句的语义处理 | 第57-58页 |
| ·符号表与抽象语法树绑定的语义处理 | 第58-61页 |
| 第六章 相关安全漏洞的检查 | 第61-71页 |
| ·编程规范相关的检查 | 第61-65页 |
| ·equals与hashCode重写检查 | 第61-63页 |
| ·switch语句相关的检查 | 第63-65页 |
| ·文件相关的安全漏洞检查 | 第65-71页 |
| 第七章 结束语 | 第71-73页 |
| 致谢 | 第73-75页 |
| 参考文献 | 第75-77页 |
