反编译中控制流重构与控制结构恢复技术研究
| 目录 | 第1-7页 |
| 表目录 | 第7-8页 |
| 图目录 | 第8-10页 |
| 摘要 | 第10-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-18页 |
| ·研究背景及意义 | 第12-13页 |
| ·研究背景 | 第12-13页 |
| ·课题介绍 | 第13页 |
| ·国内外相关技术研究现状 | 第13-15页 |
| ·主要研究内容 | 第15-17页 |
| ·论文结构安排 | 第17-18页 |
| 第二章 反编译中涉及的主要关键技术 | 第18-26页 |
| ·二进制代码解析技术 | 第19-20页 |
| ·中间代码生成技术 | 第20-21页 |
| ·控制流重构技术 | 第21-23页 |
| ·问题的提出 | 第21-22页 |
| ·相关研究 | 第22-23页 |
| ·本文需要做的工作 | 第23页 |
| ·高级控制结构恢复技术 | 第23-25页 |
| ·问题的提出 | 第23页 |
| ·相关研究 | 第23-24页 |
| ·本文需要做的工作 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于抽象解释的控制流重构 | 第26-53页 |
| ·二进制逆向中间语言BRIL | 第26-29页 |
| ·BRIL的语句集合 | 第26-28页 |
| ·BRIL的语义 | 第28-29页 |
| ·抽象解释理论 | 第29-34页 |
| ·抽象解释基本概念 | 第29-31页 |
| ·抽象解释框架 | 第31-32页 |
| ·基于抽象解释的控制流重构方法的提出 | 第32-34页 |
| ·基于抽象解释的控制流重构框架 | 第34-38页 |
| ·语句集合StaS# | 第34-35页 |
| ·参数化的控制流重构框架 | 第35页 |
| ·转换函数 | 第35-37页 |
| ·约束系统 | 第37-38页 |
| ·数据流抽象域 | 第38-45页 |
| ·抽象内存模型 | 第38-39页 |
| ·抽象地址及抽象状态 | 第39-40页 |
| ·变量值约束（VVR）策略 | 第40-43页 |
| ·抽象语义 | 第43-45页 |
| ·控制流重构算法 | 第45-46页 |
| ·实例说明 | 第46-52页 |
| ·本章小结 | 第52-53页 |
| 第四章 基于结构语义树的高级控制结构恢复 | 第53-71页 |
| ·高级控制结构类型 | 第53-54页 |
| ·控制流图结构化 | 第54-60页 |
| ·相关知识 | 第54-55页 |
| ·三次机会（TCS）策略 | 第55-56页 |
| ·控制流图结构化算法 | 第56-58页 |
| ·算法分析与比较 | 第58-60页 |
| ·结构语义树及构建 | 第60-65页 |
| ·结构语义树 | 第60-61页 |
| ·控制结构节点的识别 | 第61-62页 |
| ·结构语义树的构建算法 | 第62-64页 |
| ·结构语义树示例 | 第64-65页 |
| ·高级控制结构恢复 | 第65-66页 |
| ·实例说明 | 第66-69页 |
| ·本章小结 | 第69-71页 |
| 第五章 测试与结论 | 第71-76页 |
| ·功能测试流程 | 第71-73页 |
| ·系统测试 | 第73-75页 |
| ·测试用例 | 第73页 |
| ·测试方法 | 第73-74页 |
| ·测试结果分析与结论 | 第74-75页 |
| ·本章小结 | 第75-76页 |
| 结束语 | 第76-78页 |
| 一、工作总结 | 第76-77页 |
| 二、研究展望 | 第77-78页 |
| 参考文献 | 第78-82页 |
| 附录A CtestExp测试用例集 | 第82-84页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第84-85页 |
| 致谢 | 第85页 |
