Java程序安全检查工具前端的设计与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-9页 |
| ·程序分析和安全检查 | 第7-8页 |
| ·相关工作 | 第8-9页 |
| ·软件安全检查工具概述 | 第9-10页 |
| ·本文工作及内容组织 | 第10-13页 |
| 第二章 ASM与Java安全检查器前端 | 第13-25页 |
| ·Java字节码概述 | 第14-20页 |
| ·Java字节码文件结构 | 第14-15页 |
| ·Java字节码符号命名规则 | 第15-17页 |
| ·Java程序执行模型与字节码指令 | 第17-20页 |
| ·ASM对前端构造的支持 | 第20-24页 |
| ·ASM简介 | 第21-23页 |
| ·ASM对符号表生成的支持 | 第23页 |
| ·ASM对抽象语法树生成的支持 | 第23-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 符号表的设计与生成 | 第25-43页 |
| ·符号表的设计 | 第25-35页 |
| ·符号表总体结构 | 第25-27页 |
| ·作用域设计 | 第27-29页 |
| ·符号条目的设计 | 第29-31页 |
| ·类符号的设计 | 第31-34页 |
| ·函数符号的设计 | 第34-35页 |
| ·符号解析与符号表生成 | 第35-42页 |
| ·符号表解析的整体流程 | 第36-38页 |
| ·符号的生成 | 第38-40页 |
| ·符号的查找 | 第40-42页 |
| ·本章小结 | 第42-43页 |
| 第四章 抽象语法树的设计与生成 | 第43-59页 |
| ·抽象语法树的树形结构设计 | 第43-50页 |
| ·抽象语法树存储结构的选择 | 第44页 |
| ·抽象语法树形式的描述 | 第44-45页 |
| ·表达式的抽象语法树结构 | 第45-47页 |
| ·语句的抽象语法树结构 | 第47-50页 |
| ·抽象语法树的结点设计 | 第50-53页 |
| ·抽象语法树的生成 | 第53-58页 |
| ·字节码指令的模拟执行 | 第54-56页 |
| ·算术逻辑运算 | 第56-57页 |
| ·条件跳转 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第五章 结束语 | 第59-61页 |
| 致谢 | 第61-63页 |
| 参考文献 | 第63-64页 |
