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