| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 第一章 绪论 | 第13-19页 |
| ·背景与意义 | 第13-15页 |
| ·国内外研究现状 | 第15-17页 |
| ·研究内容 | 第17-18页 |
| ·本文的组织结构 | 第18页 |
| ·本章小结 | 第18-19页 |
| 第二章 相关概念、理论和技术 | 第19-27页 |
| ·静态程序分析技术 | 第19-20页 |
| ·静态程序切片技术 | 第20-21页 |
| ·指针分析技术 | 第21-25页 |
| ·流不敏感、上下文不敏感分析 | 第21-24页 |
| ·流敏感、上下文不敏感分析 | 第24页 |
| ·流敏感、上下文敏感分析 | 第24-25页 |
| ·本章小结 | 第25-27页 |
| 第三章 系统架构设计及实现 | 第27-57页 |
| ·ELFI 应用概述 | 第27-28页 |
| ·系统架构设计 | 第28-30页 |
| ·LLVM 中间代码装载器及 LLVM 编译器框架 | 第30-34页 |
| ·指令分析模块及内存指向模型 | 第34-39页 |
| ·功能概述 | 第34-35页 |
| ·具体实现 | 第35-39页 |
| ·线下及在线优化 | 第39-43页 |
| ·线下优化 | 第40-42页 |
| ·在线优化 | 第42-43页 |
| ·静态切片及自底向上数据依赖计算 | 第43-49页 |
| ·基本设计理念 | 第43-45页 |
| ·切片算法设计 | 第45-48页 |
| ·数据依赖图计算 | 第48-49页 |
| ·细粒度的指针别名分析 | 第49-56页 |
| ·指向集合及上下文表示 | 第50页 |
| ·算法设计 | 第50-55页 |
| ·优化 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第四章 实验评估 | 第57-65页 |
| ·案例分析 | 第57-58页 |
| ·实验设计 | 第58-60页 |
| ·源程序选择 | 第58-59页 |
| ·实验方案设计 | 第59-60页 |
| ·实验结果 | 第60-63页 |
| ·本章小结 | 第63-65页 |
| 第五章 结束语 | 第65-67页 |
| ·主要工作和创新点 | 第65页 |
| ·后续研究工作 | 第65-67页 |
| 参考文献 | 第67-73页 |
| 致谢 | 第73-74页 |
| 攻读硕士学位期间已发表或录用的论文 | 第74页 |