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汇编代码生成更高级的中间表示的实现技术。将语义描述技术与IA-64体系结构的EPIC特性结合起来，有效地解决了EPIC机器指令的语义抽象问题。

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