Jump Table Recovery Technique in IA-64 Binary Code Translation
Rongcai Zhao · Jisuanji gongcheng · 2006
In the translation of IA-64 binary code,one of the important problems is that of recognizing the switch statements implemented via jump table.The paper first analyzes the compiler’s strategies when creating jump table,then presents a technique for recognizing and recovering switch statements by combination of forward prefetch and backwards slicing plus expression substitution,reduces to a normal form which allows people to determine where the jump table is located,proposes a method to recovery the target addresses of jump table.Using such a technique,it can translate the IA-64 binary code that contains jump table into high level switch statements.The presented technique is tested in a binary translation framework I2A.The test shows that the technique is suitable for IA-64 binary code generated by compiler gcc 2.96 and gcc 3.2.3 with multi optimization options.