反投机技术研究  

Study on unspeculation techniques

作　　者：孙维新[1] 赵荣彩[1] 苏铭[1] 齐宁[1] 

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

出　　处：《计算机工程与应用》2007年第1期74-78,共5页Computer Engineering and Applications

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

摘　　要：投机优化技术作为一种先进的现代编译技术,有效地提高了指令执行的并行性。然而,在逆向工程中,有时要实现代码的跨平台移植,而投机优化技术又受硬件平台的制约;有时需要优化代码的结构,使程序的逻辑结构易于理解;这些都要求消除这种与硬件息息相关的优化技术。论文基于IA-64平台,提出了一种反投机处理算法,对ICC编译器编译后的可执行二进制代码进行处理,消除代码中的投机优化,将其转换成等价的没有投机优化的指令序列,这样使反投机后的代码更容易理解,而且在逆向工程中摆脱了硬件的限制。测试表明该反投机技术可以对ICC编译后的代码进行有效处理。Speculation is a very effective way to improve instruction level parallelism as an advance compiler optimization technique.However,in reverse direction engineering,sometimes we need to migrate code between different hardware plats, sometimes need to optimize the structure of the binary program for understanding.These all ask to transform speculative code into ＂normal＂ unspeculative code.This paper describes the algorithm based on the IA-64 hardware plat.The original binary code is compiled by ICC compiler,and the result code is the assemble code without speculative code.This translation must preserve the program semantics,and the running result is unchanged.This technique can be used in traditional reverse engineering and reengineering techniques.Experiments indicate that the technique is very effective in eliminating the speculative code in binary code that is compiled by ICC compiler.

关 键 词：投机 反投机 控制流图 软件流水 

分 类 号：TP368.1[自动化与计算机技术—计算机系统结构]