| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-15页 |
| ·研究背景与意义 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·论文的主要工作 | 第12-13页 |
| ·本文的组织结构 | 第13-15页 |
| 第二章 相关概念及算法框架 | 第15-21页 |
| ·概念及术语 | 第15-18页 |
| ·程序路径可达性检测方法 | 第18-19页 |
| ·本章小结 | 第19-21页 |
| 第三章 限定深度的符号执行算法 | 第21-45页 |
| ·符号执行概述 | 第21-25页 |
| ·广义符号执行 | 第25-27页 |
| ·符号执行的应用 | 第27-28页 |
| ·限定深度的符号执行算法 | 第28-33页 |
| ·算法实现 | 第33-44页 |
| ·软件模型检测工具 Java PathFinder | 第34-37页 |
| ·符号执行工具 Symbolic PathFinder | 第37-40页 |
| ·限定深度的符号执行 | 第40-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 字节码插桩及动态数据获取 | 第45-50页 |
| ·代码插桩技术概述 | 第45-46页 |
| ·字节码插桩工具 DISL | 第46-47页 |
| ·动态数据获取 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 不可达路径挖掘 | 第50-60页 |
| ·数据挖掘技术 | 第50-52页 |
| ·关联规则挖掘 | 第52-55页 |
| ·路径可达性挖掘 | 第55-59页 |
| ·本章小结 | 第59-60页 |
| 第六章 实验评估 | 第60-75页 |
| ·限定深度的符号执行 | 第60-67页 |
| ·实验设计 | 第60-62页 |
| ·实验环境 | 第62页 |
| ·实验结果 | 第62-67页 |
| ·实验结果分析 | 第67页 |
| ·路径可达性检测 | 第67-74页 |
| ·实验设计 | 第67-68页 |
| ·实验示例程序 | 第68-69页 |
| ·实验环境 | 第69-70页 |
| ·实验步骤 | 第70-73页 |
| ·实验结果分析 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 第七章 结束语 | 第75-77页 |
| ·主要结论及工作总结 | 第75-76页 |
| ·研究展望 | 第76-77页 |
| 参考文献 | 第77-82页 |
| 附录 | 第82-86页 |
| 致谢 | 第86-87页 |
| 攻读硕士学位期间已发表的学术论文 | 第87页 |