论文部分内容阅读
投机机制缩减从内存中装入的延迟,编译器优化为了充分利用这一架构特征,需要对程序的低级代码进行深度重构,这很大程度上增加了对代码的静态分析和再工程的复杂性。文中提出的反向优化技术,在安腾的二进制代码中消除投机指令并保证程序的语义,使得投机消除后的程序更容易理解,更易于应用逆向工程的技术进行代码再工程。