二进制翻译中跳转表恢复case语句

本文针对IA-64跳转表的特性,提出了一种与机器和编译器无关的恢复跳转表和它们的目标地址的解决方案,该方案的基础是过程内切片技术和表达式替换技术。通过这些技术,可以将包含索引跳转的过程代码转换成一般的形式,同时可以确定跳转表装入位置和包含的信息。最后通过实验可以说明,该方案可在很大程度上提高二进制翻译的覆盖率。