Java程序指向分析研究
| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-11页 |
| 图目录 | 第11-12页 |
| 表目录 | 第12-13页 |
| 第一章 绪论 | 第13-24页 |
| ·研究背景 | 第13-15页 |
| ·研究问题和目标 | 第15-20页 |
| ·研究现状 | 第15-20页 |
| ·研究问题及目标 | 第20页 |
| ·主要工作 | 第20-22页 |
| ·基于约束关系的Java程序指向分析 | 第21-22页 |
| ·指向分析的优化技术 | 第22页 |
| ·本文组织结构 | 第22-24页 |
| 第二章 相关技术简介 | 第24-37页 |
| ·相关技术与术语 | 第24-26页 |
| ·控制流程图 | 第24-25页 |
| ·方法调用图 | 第25-26页 |
| ·指向分析的分类 | 第26-34页 |
| ·基于约束关系的指向分析算法 | 第27-30页 |
| ·影响指向分析算法精度的若干维度 | 第30-34页 |
| ·副作用分析 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| 第三章 基于约束的Java程序指向分析 | 第37-58页 |
| ·Java程序的指针 | 第37-38页 |
| ·Java程序指向分析的应用 | 第38页 |
| ·Java指向分析中程序的表示方法 | 第38-45页 |
| ·变量与对象 | 第38-39页 |
| ·数组与集合类 | 第39-40页 |
| ·原子语句 | 第40-41页 |
| ·指向图 | 第41-44页 |
| ·方法 | 第44-45页 |
| ·基于约束关系Java指向分析 | 第45-46页 |
| ·基于约束关系的分析方法回顾 | 第45-46页 |
| ·指向分析的基本流程 | 第46页 |
| ·原子语句的生成 | 第46-48页 |
| ·过程内的指向分析 | 第48-52页 |
| ·方法摘要的生成 | 第48-51页 |
| ·局部指向图进一步处理 | 第51页 |
| ·局部指向图在分析过程中的用法 | 第51-52页 |
| ·过程间的指向分析 | 第52-55页 |
| ·过程间分析的基本流程 | 第53页 |
| ·指向分析信息的扩展过程 | 第53-55页 |
| ·指向分析算法面临的问题 | 第55-56页 |
| ·指向分析面临的问题 | 第55-56页 |
| ·解决问题的主要手段 | 第56页 |
| ·本章小结 | 第56-58页 |
| 第四章 基于消回路与排序的优化技术 | 第58-74页 |
| ·基于约束关系的指向关系求解过程回顾 | 第58-59页 |
| ·影响迭代效率的若干因素 | 第59-60页 |
| ·处理顺序的选择 | 第59-60页 |
| ·结点的个数 | 第60页 |
| ·扩展的时机 | 第60页 |
| ·指向图的消回路与排序优化技术 | 第60-64页 |
| ·指向图的消回路与拓扑排序 | 第62-64页 |
| ·算法效率分析 | 第64页 |
| ·局部指向图的消回路与排序 | 第64-65页 |
| ·实验与分析 | 第65-70页 |
| ·实验配置概述 | 第65-66页 |
| ·实验过程 | 第66-67页 |
| ·实验结果与分析 | 第67-70页 |
| ·与相关工作实验数据的比较 | 第70页 |
| ·相关工作与比较 | 第70-72页 |
| ·本章小结 | 第72-74页 |
| 第五章 利用指向副作用的优化技术 | 第74-92页 |
| ·相关工作及研究基础 | 第74-75页 |
| ·传统的优化算法 | 第74-75页 |
| ·副作用分析 | 第75页 |
| ·研究动机 | 第75-77页 |
| ·指向副作用的例子 | 第76-77页 |
| ·指向副作用分析与指向分析的关系 | 第77页 |
| ·指向副作用 | 第77-82页 |
| ·程序变量的分类 | 第77-81页 |
| ·无指向副作用方法 | 第81-82页 |
| ·无指向副作用方法的意义 | 第82页 |
| ·应用指向副作用的指向分析 | 第82-89页 |
| ·程序表示 | 第83页 |
| ·包含指向副作用分析的指向分析算法框架 | 第83-84页 |
| ·方法调用次数估计 | 第84页 |
| ·指向副作用分析 | 第84-88页 |
| ·在过程间分析中使用指向副作用信息 | 第88-89页 |
| ·结点指向关系的计算 | 第89页 |
| ·实验 | 第89-90页 |
| ·实验过程 | 第89-90页 |
| ·实验结果分析 | 第90页 |
| ·相关工作 | 第90-91页 |
| ·本章小结 | 第91-92页 |
| 第六章 工具实现 | 第92-100页 |
| ·工具总体框架 | 第92-93页 |
| ·数据结构抽象层 | 第93-95页 |
| ·过程内指向分析 | 第95-96页 |
| ·过程间指向分析 | 第96-98页 |
| ·基于消回路与排序的指向分析优化 | 第98页 |
| ·基于指向副作用的优化技术 | 第98-99页 |
| ·本章小结 | 第99-100页 |
| 第七章 结束语 | 第100-102页 |
| ·本文主要工作 | 第100-101页 |
| ·进一步工作 | 第101-102页 |
| 参考文献 | 第102-112页 |
| 个人简历以及在学期间科研成果 | 第112-113页 |
| 致谢 | 第113-115页 |
