IA-64逆向工程中谓词消除技术研究  

Research on Predicate Removing Technique in IA-64 Reverse Engineering

作　　者：苏铭[1] 宋宗宇[1] 赵荣彩[1] 钟声[1] 

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

出　　处：《计算机工程》2007年第6期86-88,91,共4页Computer Engineering

基　　金：国防科研基金资助重点项目

摘　　要：IA-64体系结构支持判断执行,提高指令级并行性,但是编译器为了充分利用该特性而做的优化将程序代码进行深度重构,对逆向工程来说很难从优化后的可执行代码中恢复原程序逻辑。该文提出了消除谓词的反优化技术,提高了可执行代码逆向工程的质量。IA-64 architecture support predication, which offers more opportunities for exploiting instruction level parallelism. It turns out, however, that compiler optimizations to take advantage of such architectural features can profoundly restructure the program＇s code, making it potentially difficult to reconstruct the original program logic from an optimized Itanium executable. This paper describes several techniques to undo some of the effects of such optimizations and thereby improve the quality of reverse engineering such executables.

关 键 词：逆向工程 谓词消除 反优化技术 IA-64 

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