基于IA-64體系結(jié)構(gòu)下二進制翻譯系統(tǒng)，本文提出了應用過程內(nèi)靜態(tài)切片技
術恢復索引跳轉(zhuǎn)中跳轉(zhuǎn)表以及目標地址的解決方案。并通過在IA-64體系結(jié)構(gòu)上對
C和C++編譯器產(chǎn)生的代碼進行測試，表明通過該技術可以很好的解決二進制翻譯
中跳轉(zhuǎn)表的恢復問題，提高二進制解碼的覆蓋率。
關鍵詞 : 程序切片，二進制翻譯 跳轉(zhuǎn)表
研究和開發(fā)新體系結(jié)構(gòu)必須要有相應的軟件支持，才能得到推廣和使用，代碼移
植成為體系結(jié)構(gòu)開發(fā)過程中面臨的一個重要問題，因此二進制翻譯（Binary Translation）技術應運而生[1]。它是一種直接翻譯可執(zhí)行二進制程序的技術，有助于將老指令集體系結(jié)構(gòu)上的應用軟件移植到新的體系結(jié)構(gòu)上，從而促進新體系結(jié)構(gòu)的發(fā)展，擴大了硬件/軟件的適用范圍。
二進制翻譯在概念上可以分為三個階段（見圖1）：1)前端解碼器; 2)中端分析優(yōu)化
器; 3)后端優(yōu)化編碼器。其中前端解碼器根據(jù)源機器的指令結(jié)構(gòu)特點，以及可執(zhí)行文件
的格式規(guī)定，完成對二進制代碼準確解碼。但是在靜態(tài)二進制翻譯中，當遇到依賴寄存
器值的間接轉(zhuǎn)移指令時，不能靜態(tài)獲得寄存器的值以及確定轉(zhuǎn)移目標地址，從而無法確
定下一個解碼路徑。解決這個問題，通常使用運行時嵌入解釋器的方法，但隨之而來的
是高昂的運行時開銷。
本文提出了一種與機器和編譯器無關的恢復跳轉(zhuǎn)表和它們的目標地址的解決方
案，該方案的基礎是過程內(nèi)切片技術和表達式替換技術。通過這些技術，可以將包含間
接跳轉(zhuǎn)代碼轉(zhuǎn)換成一般的形式，同時可以確定跳轉(zhuǎn)表裝入位置和包含的信息。最后通過
實驗說明，該方案可在很大程度上提高二進制翻譯的覆蓋率。