| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 第一章 绪论 | 第7-11页 |
| ·选题背景和意义 | 第7-9页 |
| ·本文的主要工作 | 第9页 |
| ·本文的组织结构 | 第9-11页 |
| 第二章 软件安全漏洞与静态检测技术 | 第11-19页 |
| ·软件安全漏洞 | 第11-15页 |
| ·静态分析技术 | 第15-18页 |
| ·本章小结 | 第18-19页 |
| 第三章 Java 数组越界静态分析方法 | 第19-40页 |
| ·Java 数组越界静态分析 | 第19-20页 |
| ·静态分析方法的流程 | 第20-23页 |
| ·程序状态及其迁移 | 第23-29页 |
| ·过程内和过程间分析 | 第29-32页 |
| ·控制流图和逻辑路径的生成 | 第32-39页 |
| ·小结 | 第39-40页 |
| 第四章 数组越界检测系统的设计与实现 | 第40-60页 |
| ·系统架构 | 第40-41页 |
| ·系统结构 | 第41-42页 |
| ·代码解析模块 | 第42-44页 |
| ·代码分析模块 | 第44-50页 |
| ·数组越界检测模块 | 第50-56页 |
| ·数据持久化模块 | 第56-60页 |
| 第五章 系统运行结果 | 第60-67页 |
| ·系统界面 | 第60-61页 |
| ·数组越界检测结果 | 第61-67页 |
| 第六章 总结和展望 | 第67-69页 |
| 参考文献 | 第69-70页 |