基于静态类型分析的Java程序函数调用图构建方法研究
| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第1章 绪论 | 第12-25页 |
| ·研究背景及意义 | 第12-18页 |
| ·虚函数调用的实质一多态 | 第12-14页 |
| ·Java虚拟机 | 第14页 |
| ·动态绑定机制 | 第14-16页 |
| ·函数调用图及应用 | 第16-18页 |
| ·研究现状 | 第18-23页 |
| ·静态类型分析 | 第18-20页 |
| ·动态编译优化 | 第20-23页 |
| ·本文工作及结构 | 第23-25页 |
| 第2章 基于静态类型分析的虚函数解决策略 | 第25-35页 |
| ·类层次分析(CHA) | 第25-27页 |
| ·快速类型分析(RTA) | 第27-29页 |
| ·XTA | 第29-31页 |
| ·实验与性能评测 | 第31-34页 |
| ·评测标准与测试环境 | 第31-32页 |
| ·性能比较 | 第32-34页 |
| ·小结 | 第34-35页 |
| 第3章 基于类型传播和类型可达改进XTA | 第35-46页 |
| ·类型传播 | 第35-38页 |
| ·过程内的类型传播 | 第35-36页 |
| ·过程间的类型传播 | 第36-37页 |
| ·类型传播图 | 第37-38页 |
| ·基于类型传播与类型可达改进XFA | 第38-40页 |
| ·基于集合的算法描述框架 | 第40-45页 |
| ·类层次分析(CHA) | 第41-42页 |
| ·快速类型分析(RTA) | 第42页 |
| ·XTA | 第42-43页 |
| ·改进XFA | 第43-45页 |
| ·小结 | 第45-46页 |
| 第4章 构建函数调用图的原型系统的设计与实现 | 第46-58页 |
| ·字节码分析 | 第46-48页 |
| ·系统设计 | 第48-49页 |
| ·系统实现 | 第49-57页 |
| ·分析对象生成模块 | 第51-52页 |
| ·分析引擎模块 | 第52-57页 |
| ·统计与显示模块 | 第57页 |
| ·小结 | 第57-58页 |
| 结论 | 第58-60页 |
| 参考文献 | 第60-65页 |
| 附录A 攻读学位期间发表的相关论文 | 第65-66页 |
| 附录B 攻读学位期间参与完成的科研项目 | 第66-67页 |
| 致谢 | 第67页 |
