基于動(dòng)態(tài)二進(jìn)制翻譯技術(shù)的反編譯研究.pdf

1、反編譯是將使用低級(jí)語言表示的程序代碼變換成與其功能等價(jià)的高級(jí)語言程序代碼的過程，是編譯的逆過程。它對(duì)于軟件的移植、理解喝維護(hù)都起著重要作用。反編譯的結(jié)果可以用于尋找程序中包含的惡意代碼、bug和脆弱點(diǎn)，揭示程序的內(nèi)部互操作機(jī)制?，F(xiàn)有的基于靜態(tài)分析技術(shù)的二進(jìn)制代碼反編譯器具有很多理論上的局限性，包括不能有效的處理間接跳轉(zhuǎn)和間接過程調(diào)用，不能進(jìn)行精確的指針別名分析，需要對(duì)目標(biāo)程序的代碼結(jié)構(gòu)做一定的假設(shè)等等。本文描述的反編譯基礎(chǔ)系統(tǒng)采用基于二

2、進(jìn)制翻譯技術(shù)的動(dòng)態(tài)分析方法，通過準(zhǔn)確地記錄程序?qū)嶋H的執(zhí)行路徑和變量關(guān)系，能較好地解決控制流混淆和二進(jìn)制代碼的動(dòng)態(tài)指針別名分析問題。 靜態(tài)反編譯由于無法獲得程序?qū)嶋H執(zhí)行時(shí)的輸入，因此需要假設(shè)任何可能的輸入和執(zhí)行路徑都是有效的。實(shí)際上程序中可能存在不可達(dá)路徑，反編譯器通常只會(huì)做保守地選擇。保守的分析會(huì)使得反編譯器產(chǎn)生執(zhí)行效率較低或者可讀性較差的代碼，甚至導(dǎo)致分析失敗。 與靜態(tài)反編譯不同，本文描述的動(dòng)態(tài)反編譯方法可以準(zhǔn)確獲知程

3、序執(zhí)行時(shí)的輸入和執(zhí)行路徑，因此可以針對(duì)當(dāng)前的輸入（實(shí)際上是與當(dāng)前輸入等價(jià)的一類輸入）做最優(yōu)的選擇。使用這一方法得到的反編譯結(jié)果更接近程序?qū)嶋H執(zhí)行時(shí)的邏輯，但可能無法處理未測試的輸入。 本研究的主要貢獻(xiàn)在于： 1.基于Linux下的動(dòng)態(tài)二進(jìn)制翻譯平臺(tái)valgrind，實(shí)現(xiàn)了反編譯器基礎(chǔ)平臺(tái)Dynamic Analyzer，論證了動(dòng)態(tài)反編譯器實(shí)現(xiàn)的可行性。 2.使用動(dòng)態(tài)控制流圖構(gòu)造方法，與靜態(tài)構(gòu)造方法相比能有效地解決