| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-16页 |
| ·研究背景与意义 | 第10-11页 |
| ·研究目标 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·本文的研究内容 | 第13-14页 |
| ·本文的组织结构 | 第14-15页 |
| ·本章小结 | 第15-16页 |
| 第二章 程序分析相关技术介绍 | 第16-21页 |
| ·程序分析技术概述 | 第16-17页 |
| ·静态程序分析技术 | 第16页 |
| ·动态程序分析技术 | 第16-17页 |
| ·切片技术 | 第17-18页 |
| ·静态切片技术 | 第17页 |
| ·动态切片技术 | 第17-18页 |
| ·污染传播技术 | 第18页 |
| ·符号执行技术 | 第18-19页 |
| ·本章小结 | 第19-21页 |
| 第三章 系统的设计与实现 | 第21-58页 |
| ·系统框架总述 | 第21-23页 |
| ·动态二进制代码插桩平台 | 第23-27页 |
| ·指令缓存器 | 第27-31页 |
| ·功能概述 | 第27-28页 |
| ·具体实现 | 第28-31页 |
| ·运行时分析引擎 | 第31-48页 |
| ·功能概述 | 第32页 |
| ·内存模型 | 第32-38页 |
| ·符号树 | 第38-43页 |
| ·指令分类 | 第43-44页 |
| ·API 过滤 | 第44页 |
| ·具体实现 | 第44-48页 |
| ·切片引擎 | 第48-53页 |
| ·功能概述 | 第48页 |
| ·设计理念 | 第48-50页 |
| ·具体实现 | 第50-53页 |
| ·约束求解器 | 第53-57页 |
| ·功能概述 | 第54页 |
| ·代搜索 | 第54-55页 |
| ·具体实现 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 第四章 案例分析 | 第58-63页 |
| ·案例概述 | 第58-60页 |
| ·求解过程 | 第60-62页 |
| ·结果分析 | 第62页 |
| ·本章小结 | 第62-63页 |
| 第五章 实验与分析 | 第63-71页 |
| ·实验环境设计与搭建 | 第63页 |
| ·实验方案与结果分析 | 第63-70页 |
| ·Benchmark 概述 | 第63-64页 |
| ·对含循环结构的目标程序的性能分析 | 第64-66页 |
| ·对含分支及分支嵌套的目标程序的性能分析 | 第66-68页 |
| ·对Windows XP CMD 应用程序的性能分析 | 第68-69页 |
| ·动态反向切片性能分析 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 第六章 全文总结 | 第71-73页 |
| ·主要结论 | 第71-72页 |
| ·研究展望 | 第72-73页 |
| 参考文献 | 第73-76页 |
| 致谢 | 第76-77页 |
| 攻读硕士期间已发表或录用的论文 | 第77-79页 |