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