Y1240668.docVIP

Y1240668 本文由zhyklmyt贡献 pdf文档可能在WAP端浏览体验不佳。建议您优先选择TXT，或下载源文件到本机查看。 中国人民解放军信息工程大学 硕士学位论文 静态二进制翻译中基本数据类型分析的研究与实现 姓名：孙维新 申请学位级别：硕士 专业：计算机软件与理论 指导教师：赵荣彩 信息工程大学硕士学位论文 摘要 随着体系结构的更新换代，在老体系结构上开发的优秀软件面临着被淘汰的境地。同 时为了在短时间内推广新体系结构的应用和促进它的发展，需要把老体系结构上的软件快 速移植到新体系结构上，这样二进制翻译和反编译技术应运而生。同时反编译技术还在软 件维护、软件开发和调试、病毒发现和漏洞扫描等领域有着重要的作用。 数据类型分析是二进制翻译和反编译中的难点，本文首先介绍了静态二进制翻译器 ＩＴＡ系统，然后基于该平台给出了在二进制翻译中分析数据基本类型的技术方案。把传统 编译优化技术中的数据流分析技术和类型推导理论应用到二进制翻译中，通过对指令语义 和过程ＨＲＴＬ表示的分析获得数据的基本类型信息。本文的主要内容及创新点有： 过程变量的重命名。当把指令的语义提升到ＨＲＴＬ语句表示时，指令中的寄存器操作 数转换为｝Ⅱ玎Ｌ表示中的变量。由于寄存器数量的限制和编译器对寄存器的分配优化策略， 一个寄存器一般用来存放多个数据片，这样