计算机软件与理论专业优秀论文计算机软件与理论专业优秀论文 静态二进制翻译中基本数据类型静态二进制翻译中基本数据类型分析的研究与实现分析的研究与实现关键词：二进制翻译关键词：二进制翻译 反编译技术反编译技术 数据类型分析数据类型分析 过程变量过程变量 数据流分析数据流分析摘要：随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘 汰的境地。同时为了在短时间内推广新体系结构的应用和促进它的发展，需要 把老体系结构上的软件快速移植到新体系结构上，这样二进制翻译和反编译技 术应运而生。同时反编译技术还在软件维护、软件开发和调试、病毒发现和漏 洞扫描等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难 点，本文首先介绍了静态二进制翻译器 ITA 系统，然后基于该平台给出了在二 进制翻译中分析数据基本类型的技术方案。把传统编译优化技术中的数据流分 析技术和类型推导理论应用到二进制翻译中，通过对指令语义和过程 HRTL 表示 的分析获得数据的基本类型信息。本文的主要内容及创新点有： 过程变量的 重命名。当把指令的语义提升到 HRTL 语句表示时，指令中的寄存器操作数转换 为 HRTL 表示中的变量。由于寄存器数量的限制和编译器对寄存器的分配优化策 略，一个寄存器一般用来存放多个数据片，这样一个寄存器变量可能表示类型 不同而且没有任何关系的多个数据片，所以有必要对寄存器变量重命名。应用 数据流分析技术和集合划分理论完成变量重命名。 对重命名后的变量利用类 型推导规则推导它在过程中所有定义和引用处的类型，结果是一个类型的集合。 类型推导规则的提取是问题的关键，推导规则越完善我们获得数据的类型越准 确。 利用格理论确定变量的最终类型。我们把二进制翻译中数据的基本类型 按照它们之间的关系组织在一个格中，对推导出的变量类型集合中的元素与该 格进行比较，获得变量最终的一个类型，该类型将在翻译生成的 C 代码中作为 变量的声明类型。 本文提出的数据类型分析技术应用在我们开发的静态二进 制翻译器 ITA 系统中，通过测试表明该技术方案是可行的、有效的和正确的。正文内容正文内容随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘汰 的境地。同时为了在短时间内推广新体系结构的应用和促进它的发展，需要把 老体系结构上的软件快速移植到新体系结构上，这样二进制翻译和反编译技术 应运而生。同时反编译技术还在软件维护、软件开发和调试、病毒发现和漏洞 扫描等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难点， 本文首先介绍了静态二进制翻译器 ITA 系统，然后基于该平台给出了在二进制 翻译中分析数据基本类型的技术方案。把传统编译优化技术中的数据流分析技 术和类型推导理论应用到二进制翻译中，通过对指令语义和过程 HRTL 表示的分 析获得数据的基本类型信息。本文的主要内容及创新点有： 过程变量的重命 名。当把指令的语义提升到 HRTL 语句表示时，指令中的寄存器操作数转换为 HRTL 表示中的变量。由于寄存器数量的限制和编译器对寄存器的分配优化策略， 一个寄存器一般用来存放多个数据片，这样一个寄存器变量可能表示类型不同 而且没有任何关系的多个数据片，所以有必要对寄存器变量重命名。应用数据 流分析技术和集合划分理论完成变量重命名。 对重命名后的变量利用类型推 导规则推导它在过程中所有定义和引用处的类型，结果是一个类型的集合。类 型推导规则的提取是问题的关键，推导规则越完善我们获得数据的类型越准确。利用格理论确定变量的最终类型。我们把二进制翻译中数据的基本类型按照 它们之间的关系组织在一个格中，对推导出的变量类型集合中的元素与该格进 行比较，获得变量最终的一个类型，该类型将在翻译生成的 C 代码中作为变量 的声明类型。 本文提出的数据类型分析技术应用在我们开发的静态二进制翻 译器 ITA 系统中，通过测试表明该技术方案是可行的、有效的和正确的。 随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘汰的境 地。同时为了在短时间内推广新体系结构的应用和促进它的发展，需要把老体 系结构上的软件快速移植到新体系结构上，这样二进制翻译和反编译技术应运 而生。同时反编译技术还在软件维护、软件开发和调试、病毒发现和漏洞扫描 等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难点，本 文首先介绍了静态二进制翻译器 ITA 系统，然后基于该平台给出了在二进制翻 译中分析数据基本类型的技术方案。把传统编译优化技术中的数据流分析技术 和类型推导理论应用到二进制翻译中，通过对指令语义和过程 HRTL 表示的分析 获得数据的基本类型信息。本文的主要内容及创新点有： 过程变量的重命名。 当把指令的语义提升到 HRTL 语句表示时，指令中的寄存器操作数转换为 HRTL 表示中的变量。由于寄存器数量的限制和编译器对寄存器的分配优化策略，一 个寄存器一般用来存放多个数据片，这样一个寄存器变量可能表示类型不同而 且没有任何关系的多个数据片，所以有必要对寄存器变量重命名。应用数据流 分析技术和集合划分理论完成变量重命名。 对重命名后的变量利用类型推导 规则推导它在过程中所有定义和引用处的类型，结果是一个类型的集合。类型 推导规则的提取是问题的关键，推导规则越完善我们获得数据的类型越准确。 利用格理论确定变量的最终类型。我们把二进制翻译中数据的基本类型按照它 们之间的关系组织在一个格中，对推导出的变量类型集合中的元素与该格进行 比较，获得变量最终的一个类型，该类型将在翻译生成的 C 代码中作为变量的 声明类型。 本文提出的数据类型分析技术应用在我们开发的静态二进制翻译 器 ITA 系统中，通过测试表明该技术方案是可行的、有效的和正确的。随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘汰的境 地。同时为了在短时间内推广新体系结构的应用和促进它的发展，需要把老体 系结构上的软件快速移植到新体系结构上，这样二进制翻译和反编译技术应运 而生。同时反编译技术还在软件维护、软件开发和调试、病毒发现和漏洞扫描 等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难点，本 文首先介绍了静态二进制翻译器 ITA 系统，然后基于该平台给出了在二进制翻 译中分析数据基本类型的技术方案。把传统编译优化技术中的数据流分析技术 和类型推导理论应用到二进制翻译中，通过对指令语义和过程 HRTL 表示的分析 获得数据的基本类型信息。本文的主要内容及创新点有： 过程变量的重命名。 当把指令的语义提升到 HRTL 语句表示时，指令中的寄存器操作数转换为 HRTL 表示中的变量。由于寄存器数量的限制和编译器对寄存器的分配优化策略，一 个寄存器一般用来存放多个数据片，这样一个寄存器变量可能表示类型不同而 且没有任何关系的多个数据片，所以有必要对寄存器变量重命名。应用数据流 分析技术和集合划分理论完成变量重命名。 对重命名后的变量利用类型推导 规则推导它在过程中所有定义和引用处的类型，结果是一个类型的集合。类型 推导规则的提取是问题的关键，推导规则越完善我们获得数据的类型越准确。 利用格理论确定变量的最终类型。我们把二进制翻译中数据的基本类型按照它 们之间的关系组织在一个格中，对推导出的变量类型集合中的元素与该格进行 比较，获得变量最终的一个类型，该类型将在翻译生成的 C 代码中作为变量的 声明类型。 本文提出的数据类型分析技术应用在我们开发的静态二进制翻译 器 ITA 系统中，通过测试表明该技术方案是可行的、有效的和正确的。 随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘汰的境 地。同时为了在短时间内推广新体系结构的应用和促进它的发展，需要把老体 系结构上的软件快速移植到新体系结构上，这样二进制翻译和反编译技术应运 而生。同时反编译技术还在软件维护、软件开发和调试、病毒发现和漏洞扫描 等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难点，本 文首先介绍了静态二进制翻译器 ITA 系统，然后基于该平台给出了在二进制翻 译中分析数据基本类型的技术方案。把传统编译优化技术中的数据流分析技术 和类型推导理论应用到二进制翻译中，通过对指令语义和过程 HRTL 表示的分析 获得数据的基本类型信息。本文的主要内容及创新点有： 过程变量的重命名。 当把指令的语义提升到 HRTL 语句表示时，指令中的寄存器操作数转换为 HRTL 表示中的变量。由于寄存器数量的限制和编译器对寄存器的分配优化策略，一 个寄存器一般用来存放多个数据片，这样一个寄存器变量可能表示类型不同而 且没有任何关系的多个数据片，所以有必要对寄存器变量重命名。应用数据流 分析技术和集合划分理论完成变量重命名。 对重命名后的变量利用类型推导 规则推导它在过程中所有定义和引用处的类型，结果是一个类型的集合。类型 推导规则的提取是问题的关键，推导规则越完善我们获得数据的类型越准确。 利用格理论确定变量的最终类型。我们把二进制翻译中数据的基本类型按照它 们之间的关系组织在一个格中，对推导出的变量类型集合中的元素与该格进行 比较，获得变量最终的一个类型，该类型将在翻译生成的 C 代码中作为变量的 声明类型。 本文提出的数据类型分析技术应用在我们开发的静态二进制翻译 器 ITA 系统中，通过测试表明该技术方案是可行的、有效的和正确的。 随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘汰的境 地。同时为了在短时间内推广新体系结构的应用和促进它的发展，需要把老体系结构上的软件快速移植到新体系结构上，这样二进制翻译和反编译技术应运 而生。同时反编译技术还在软件维护、软件开发和调试、病毒发现和漏洞扫描 等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难点，本 文首先介绍了静态二进制翻译器 ITA 系统，然后基于该平台给出了在二进制翻 译中分析数据基本类型的技术方案。把传统编译优化技术中的数据流分析技术 和类型推导理论应用到二进制翻译中，通过对指令语义和过程 HRTL 表示的分析 获得数据的基本类型信息。本文的主要内容及创新点有： 过程变量的重命名。 当把指令的语义提升到 HRTL 语句表示时，指令中的寄存器操作数转换为 HRTL 表示中的变量。由于寄存器数量的限制和编译器对寄存器的分配优化策略，一 个寄存器一般用来存放多个数据片，这样一个寄存器变量可能表示类型不同而 且没有任何关系的多个数据片，所以有必要对寄存器变量重命名。应用数据流 分析技术和集合划分理论完成变量重命名。 对重命名后的变量利用类型推导 规则推导它在过程中所有定义和引用处的类型，结果是一个类型的集合。类型 推导规则的提取是问题的关键，推导规则越完善我们获得数据的类型越准确。 利用格理论确定变量的最终类型。我们把二进制翻译中数据的基本类型按照它 们之间的关系组织在一个格中，对推导出的变量类型集合中的元素与该格进行 比较，获得变量最终的一个类型，该类型将在翻译生成的 C 代码中作为变量的 声明类型。 本文提出的数据类型分析技术应用在我们开发的静态二进制翻译 器 ITA 系统中，通过测试表明该技术方案是可行的、有效的和正确的。 随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘汰的境 地。同时为了在短时间内推广新体系结构的应用和促进它的发展，需要把老体 系结构上的软件快速移植到新体系结构上，这样二进制翻译和反编译技术应运 而生。同时反编译技术还在软件维护、软件开发和调试、病毒发现和漏洞扫描 等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难点，本 文首先介绍了静态二进制翻译器 ITA 系统，然后基于该平台给出了在二进制翻 译中分析数据基本类型的技术方案。把传统编译优化技术中的数据流分析技术 和类型推导理论应用到二进制翻译中，通过对指令语义和过程 HRT