摘要
反编译技术可以将二进制可执行程序转换为等价的高级语言形式代码,它是软件逆向工程研究的一个重要方向。对机器指令进行语义抽象以产生中间代码表示是反编译程序的一个关键环节。介绍了在反编译过程中通过语义描述由IA-64汇编代码生成更高级的中间表示的实现技术。将语义描述技术与IA-64体系结构的EPIC特性结合起来,有效地解决了EPIC机器指令的语义抽象问题。
Decompilation is used as a tool to translate the executable binary program into an equivalent program in a hlgh-level language,it is an important research domain of software reverse engineering.Abstractlng 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 deeompiling.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.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第3期54-57,60,共5页
Computer Engineering and Applications
基金
河南省杰出人才创新基金资助项目(0521000200)。
关键词
反编译
语义描述
中间表示
IA-64
EPIC
decompile
semantic specification
intermediate representation
IA-64
EPIC
