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

Semantic abstraction of IA-64 machine instructions in decompiling

作　　者：张雪萌[1] 赵荣彩[1] 

机构地区：[1]解放军信息工程大学信息工程学院计算机科学与技术系,郑州450002

出　　处：《计算机工程与应用》2007年第3期54-57,60,共5页Computer Engineering and Applications

基　　金：河南省杰出人才创新基金资助项目(0521000200)。

摘　　要：反编译技术可以将二进制可执行程序转换为等价的高级语言形式代码,它是软件逆向工程研究的一个重要方向。对机器指令进行语义抽象以产生中间代码表示是反编译程序的一个关键环节。介绍了在反编译过程中通过语义描述由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.

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

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]