| 中文摘要 | 第1-8页 |
| Abstract | 第8-13页 |
| 第一章 绪论 | 第13-17页 |
| ·研究背景 | 第13-15页 |
| ·研究内容 | 第15-16页 |
| ·论文结构 | 第16-17页 |
| 第二章 基于包含的指针分析方法及其在线优化技术 | 第17-23页 |
| ·基于包含的指针分析方法 | 第17-20页 |
| ·约束生成 | 第17-18页 |
| ·约束求解 | 第18-20页 |
| ·基于包含的指针分析方法的在线优化技术 | 第20-23页 |
| ·约束图上强连通分量的检测和消除 | 第20-21页 |
| ·指向集传递过程中的优化 | 第21页 |
| ·工作集节点的迭代求解顺序 | 第21-23页 |
| 第三章 上下文无关的 WP 和 DP 方法分析和改进 | 第23-41页 |
| ·WP 算法分析 | 第23-27页 |
| ·约束图上强连通分量的检测和消除 | 第23-25页 |
| ·约束图上的差异传播 | 第25-26页 |
| ·处理复杂约束 | 第26页 |
| ·实例分析 | 第26-27页 |
| ·DP 算法分析 | 第27-32页 |
| ·处理复杂约束算法 | 第28-30页 |
| ·纵向传播操作 | 第30-31页 |
| ·实例分析 | 第31-32页 |
| ·改进的 DP 算法 | 第32-40页 |
| ·约束图上强连通分量的检测和消除算法的改进 | 第33-35页 |
| ·约束图上的差异传播算法的改进 | 第35页 |
| ·纵向传播操作的改进 | 第35-37页 |
| ·实例分析 | 第37-38页 |
| ·实验 | 第38-40页 |
| ·小结 | 第40-41页 |
| 第四章 基于调用图的上下文敏感指针分析及其上的环消除技术分析 | 第41-50页 |
| ·基于调用图的上下文 | 第41-46页 |
| ·调用图 | 第41-42页 |
| ·调用图表示 | 第42-43页 |
| ·Hash-consing 应用 | 第43页 |
| ·Hash-consing 示例 | 第43-44页 |
| ·规范的调用图 | 第44-45页 |
| ·在调用图上的操作 | 第45-46页 |
| ·带有集标记的上下文敏感的公式规则 | 第46-48页 |
| ·对上下文敏感的变量限制 | 第46-47页 |
| ·带有上下文集标记的约束 | 第47-48页 |
| ·分析示例 | 第48-50页 |
| 第五章 上下文敏感的 WP 和 DP 方法研究 | 第50-63页 |
| ·约束图及其初始化 | 第50-51页 |
| ·新的约束图定义 | 第50页 |
| ·初始化约束图 | 第50-51页 |
| ·上下文敏感的横向传播方法 | 第51-56页 |
| ·新的横向传播方法框架 | 第51-52页 |
| ·约束图上强连通分量的检测和消除 | 第52-53页 |
| ·约束图上的差异传播 | 第53-55页 |
| ·处理复杂约束 | 第55-56页 |
| ·上下文敏感的纵向传播方法 | 第56-60页 |
| ·新的纵向传播方法框架 | 第57-58页 |
| ·处理复杂约束 | 第58-60页 |
| ·实验 | 第60-62页 |
| ·小结 | 第62-63页 |
| 第六章 总结和展望 | 第63-65页 |
| ·论文总结 | 第63页 |
| ·展望 | 第63-65页 |
| 致谢 | 第65-66页 |
| 参考文献 | 第66-68页 |
| 攻读学位期间取得的研究成果 | 第68页 |