反编译中IA-64指令语义抽象技术的研究

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (3): 54-54.

反编译中IA-64指令语义抽象技术的研究

张雪萌赵荣彩

解放军信息工程学院计算机科学与技术系

收稿日期:2006-01-26 修回日期:1900-01-01 出版日期:2007-01-21 发布日期:2007-01-21
通讯作者: 张雪萌

Semantic Abstraction of the IA-64 machine instructions in decompiling

Zhang Xuemeng Zhao Rongcai

Received:2006-01-26 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21

摘要/Abstract

摘要： 反编译技术可以将二进制可执行程序转换为等价的高级语言形式代码，它是软件逆向工程研究的一个重要方向。对机器指令进行语义抽象以产生中间代码表示是反编译程序的一个关键环节。本文介绍了在反编译过程中通过语义描述由IA-64汇编代码生成更高级的中间表示的实现技术。将语义描述技术与IA-64体系结构的EPIC特性结合起来，有效地解决了EPIC机器指令的语义抽象问题。

关键词: 反编译语义描述中间表示 IA-64 EPIC

Abstract: Decompilation is used as a tool to translate the executable binary program into an equivalent program in a high-level language, it is an important research domain of software reverse engineering. Abstracting the semantics of the machine instructions to generate an intermediate code representation is key for a decompiler. This paper presents the details of generating higher-level intermediate representation from IA-64 assembly language by means of semantic specification in decompiling. Combining semantic specification technology with EPIC architecture, it turns to be an effective way to solve the problem of semantic abstraction of the EPIC machine instructions.

Key words: decompile semantic specification intermediate representation IA-64 EPIC

张雪萌赵荣彩. 反编译中IA-64指令语义抽象技术的研究[J]. 计算机工程与应用, 2007, 43(3): 54-54.

Zhang Xuemeng Zhao Rongcai . Semantic Abstraction of the IA-64 machine instructions in decompiling [J]. Computer Engineering and Applications, 2007, 43(3): 54-54.