| 表目录 | 第1-8页 |
| 图目录 | 第8-9页 |
| 摘要 | 第9-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-25页 |
| ·课题背景 | 第11-13页 |
| ·软件移植对创新处理器结构具有推动作用 | 第11-12页 |
| ·软件移植对国家安全战略具有重要意义 | 第12-13页 |
| ·二进制翻译概述 | 第13-20页 |
| ·二进制翻译分类 | 第14页 |
| ·国内外研究现状 | 第14-18页 |
| ·存在的问题及实际需求 | 第18-20页 |
| ·研究内容及主要工作 | 第20-23页 |
| ·主要研究内容 | 第20-22页 |
| ·主要工作和创新 | 第22-23页 |
| ·论文组织结构 | 第23-25页 |
| 第二章 基于编解码描述语言的指令解码技术 | 第25-37页 |
| ·相关工作 | 第25-26页 |
| ·编解码描述语言SLED | 第26-30页 |
| ·Tokens和Fields | 第26-27页 |
| ·Patterns | 第27页 |
| ·Constructors | 第27-29页 |
| ·匹配语句 | 第29-30页 |
| ·x86_64 指令结构 | 第30-32页 |
| ·REX前缀 | 第30-31页 |
| ·64 位立即操作数 | 第31页 |
| ·RIP相对寻址 | 第31-32页 |
| ·x86_64 指令SLED描述的构建 | 第32-34页 |
| ·REX前缀的SLED描述 | 第32-33页 |
| ·立即操作数的SLED描述 | 第33-34页 |
| ·RIP相对寻址情况的处理 | 第34页 |
| ·指令解码器的实现 | 第34-35页 |
| ·本章小结 | 第35-37页 |
| 第三章 基于语义映射和栈帧平衡的数据恢复技术 | 第37-53页 |
| ·相关概念 | 第37-38页 |
| ·x86_64 应用程序二进制接口 | 第38-42页 |
| ·数据表示 | 第38-39页 |
| ·寄存器资源 | 第39页 |
| ·过程调用约定 | 第39-42页 |
| ·用户自定义过程的数据恢复 | 第42-45页 |
| ·基于语义映射的数据恢复 | 第42-45页 |
| ·基于栈帧平衡的数据恢复 | 第45页 |
| ·库函数参数的恢复 | 第45-51页 |
| ·库函数格式串参数的分析 | 第45-47页 |
| ·库函数参数恢复算法设计 | 第47-49页 |
| ·临时生成的格式串参数的处理 | 第49-51页 |
| ·本章小结 | 第51-53页 |
| 第四章 基于多遍反馈的二进制翻译框架及其应用 | 第53-65页 |
| ·问题的提出 | 第53页 |
| ·多遍反馈的翻译框架设计 | 第53-56页 |
| ·静态翻译器 | 第54-55页 |
| ·翻译结果数据库 | 第55-56页 |
| ·动态支持模块 | 第56页 |
| ·数据结构和功能设计 | 第56-60页 |
| ·动静结合的交互接口 | 第56-59页 |
| ·动态支持模块功能结构 | 第59-60页 |
| ·多遍反馈的翻译框架在翻译Windows程序中的应用 | 第60-64页 |
| ·核心代码的提取 | 第61-62页 |
| ·核心代码的翻译 | 第62-63页 |
| ·异构系统库函数调用的处理 | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 测试与分析 | 第65-69页 |
| ·测试平台及用例 | 第65页 |
| ·测试结果及分析 | 第65-68页 |
| ·静态翻译器的功能测试 | 第65-66页 |
| ·静态翻译器的性能测试 | 第66-67页 |
| ·多遍反馈的翻译框架的应用测试 | 第67-68页 |
| ·本章小结 | 第68-69页 |
| 结束语 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 附录 Ctypical测试集信息 | 第75-79页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第79-81页 |
| 致谢 | 第81页 |