基于数据依赖性恢复的对象行为协议提取方法及支持工具
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 1 绪论 | 第7-12页 |
| ·背景 | 第7-8页 |
| ·研究现状 | 第8-10页 |
| ·分支恢复法 | 第8-9页 |
| ·过程枚举法 | 第9页 |
| ·时序恢复法 | 第9页 |
| ·符号执行恢复法 | 第9页 |
| ·现有分析方法的不足 | 第9-10页 |
| ·本文方法的提出 | 第10-11页 |
| ·文章的组织结构 | 第11-12页 |
| 2 背景知识 | 第12-21页 |
| ·逆向工程 | 第12-13页 |
| ·对象行为协议 | 第13-15页 |
| ·方法与方法签名 | 第13页 |
| ·接口和对象行为协议 | 第13-15页 |
| ·状态图 | 第15-17页 |
| ·Java Tree Builder | 第17-18页 |
| ·访问者模式 | 第18-19页 |
| ·抽象语法树 | 第19页 |
| ·行为协议的验证 | 第19-21页 |
| 3 基于数据依赖性的行为协议提取方法 | 第21-42页 |
| ·行为协议提取理论 | 第21-30页 |
| ·对象属性变量 | 第22-25页 |
| ·对象方法依赖 | 第25-29页 |
| ·行为协议状态图 | 第29-30页 |
| ·行为协议提取流程 | 第30-40页 |
| ·方法流程图 | 第30-32页 |
| ·例子 | 第32-34页 |
| ·对象属性的使用情况提取 | 第34-35页 |
| ·方法前后置属性构建 | 第35-36页 |
| ·根据方法的前后置属性构建方法的依赖图 | 第36-37页 |
| ·生成程序的状态机图 | 第37-40页 |
| ·验证对象状态图 | 第40-42页 |
| 4 对象行为协议分析工具 | 第42-50页 |
| ·工具框架 | 第42-43页 |
| ·工具流程 | 第43-50页 |
| 5 讨论 | 第50-52页 |
| 6 总结 | 第52-54页 |
| 7 参考文献 | 第54-56页 |
| 发表论文及从事科研项目 | 第56-57页 |
| 致谢 | 第57-58页 |
