基于Java源代码的动态监测技术研究
| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 目录 | 第6-8页 |
| 1 绪论 | 第8-15页 |
| 1.1 研究背景及意义 | 第8-9页 |
| 1.2 国内外研究现状 | 第9-13页 |
| 1.3 论文主要研究内容 | 第13页 |
| 1.4 论文组织结构 | 第13-15页 |
| 2 动态监测中的静态分析方法 | 第15-26页 |
| 2.1 ANTLR 简介 | 第16页 |
| 2.2 词法分析和语法分析 | 第16-20页 |
| 2.3 抽象语法树的设计和遍历 | 第20-23页 |
| 2.4 程序中间表示 | 第23-25页 |
| 2.5 本章小结 | 第25-26页 |
| 3 基于污点的程序切片 | 第26-40页 |
| 3.1 程序切片技术 | 第26-29页 |
| 3.2 基于污点的程序切片算法 | 第29-34页 |
| 3.3 污点覆盖率的计算 | 第34页 |
| 3.4 基于污点覆盖的漏洞确认 | 第34-39页 |
| 3.5 本章小结 | 第39-40页 |
| 4 动态监测原型系统设计与实现 | 第40-61页 |
| 4.1 系统框架设计 | 第40-41页 |
| 4.2 预处理模块设计与实现 | 第41-47页 |
| 4.3 程序插桩模块设计与实现 | 第47-56页 |
| 4.4 自动编译模块设计与实现 | 第56-59页 |
| 4.5 测试用例生成模块设计与实现 | 第59页 |
| 4.6 测试驱动模块设计与实现 | 第59-60页 |
| 4.7 本章小结 | 第60-61页 |
| 5 实验 | 第61-69页 |
| 5.1 实验环境 | 第61页 |
| 5.2 动态监测框架验证实验 | 第61-66页 |
| 5.3 静态漏洞确认实验 | 第66-68页 |
| 5.4 本章小结 | 第68-69页 |
| 6 总结与展望 | 第69-71页 |
| 6.1 论文总结 | 第69页 |
| 6.2 工作展望 | 第69-71页 |
| 致谢 | 第71-72页 |
| 参考文献 | 第72-76页 |
| 附录 攻读学位期间参与的科研项目 | 第76页 |
