《反編譯技術(shù)與軟件逆向分析》共分10章。第1章到第3章簡要介紹了軟件逆向分析技術(shù)的相關(guān)基礎(chǔ)知識;第4章和第5章從反匯編和中間表示兩個方面為反編譯奠定基礎(chǔ);第6章到第9章針對反編譯的若干關(guān)鍵技術(shù)展開詳細(xì)介紹;第10章則為反編譯測試相關(guān)的一些可用資源。全書以IA-64可執(zhí)行代碼為例進(jìn)行講解,但相關(guān)技術(shù)可以向其他平臺推廣。
《反編譯技術(shù)與軟件逆向分析》可作為計算機(jī)軟件專業(yè)本科高年級學(xué)生、碩士研究生的相關(guān)課程教科書或教學(xué)參考書,也可供從事軟件逆向分析工作的工程技術(shù)人員參考。
隨著計算機(jī)科學(xué)和相關(guān)技術(shù)的不斷發(fā)展,尤其是各種編程語言的不斷豐富與壯大,相關(guān)人員對貼近于硬件層的低級形式編碼越來越陌生。但是,事實表明計算機(jī)軟件領(lǐng)域從來沒有過,也不可能真正脫離對繁瑣的低級代碼進(jìn)行分析的需求,而軟件逆向分析技術(shù)在近年來重新成為計算機(jī)科學(xué)領(lǐng)域的研究熱點(diǎn)。在眾多逆向分析技術(shù)中,反編譯是對目標(biāo)程序分析最為徹底,但也是最為困難的技術(shù)領(lǐng)域。從名稱上可以看出,反編譯技術(shù)是編譯技術(shù)的逆過程,即將低級目標(biāo)可執(zhí)行代碼翻譯為語義等價的高級語言表示形式。
本書希望能夠為從事軟件逆向分析的科研人員和工作者提供有效的幫助。與其他相關(guān)的逆向分析書籍不同的是,編者沒有局限于對二進(jìn)制代碼的反匯編分析,或者局限于對不同逆向分析輔助工具的使用指導(dǎo),而是希望能夠在反匯編層面分析的基礎(chǔ)上對目標(biāo)低級程序進(jìn)行進(jìn)一步挖掘,從而獲取更多的有效信息。畢竟現(xiàn)有的各種逆向分析工具的功能不一,不能完全滿足業(yè)界復(fù)雜多變的需求!笆谌艘贼~,不如授之以漁”,本書希望能夠幫助讀者深入了解并掌握一個完整反編譯工具的各個部分,從而編寫真正滿足自己需求的逆向分析工具。
全書分為三大部分,共10章。第一部分,包括第1章至第3章。簡要介紹了軟件逆向分析技術(shù)的相關(guān)基礎(chǔ)知識,為讀者的進(jìn)一步閱讀奠定良好的基礎(chǔ)。包括軟件逆向分析的背景知識、不同體系結(jié)構(gòu)指令系統(tǒng)的相關(guān)背景,以及針對可執(zhí)行文件格式的介紹。在指令系統(tǒng)一章中介紹了兩種完全不同的體系結(jié)構(gòu),即CISC體系結(jié)構(gòu)和EPIC體系結(jié)構(gòu),并且著重針對Intel公司的64位安騰處理器的IA-64體系結(jié)構(gòu)指令系統(tǒng)進(jìn)行分析。在可執(zhí)行文件格式一章,則著重解析了在Linux操作系統(tǒng)中流行的ELF可執(zhí)行文件格式。第二部分,包括第4章、第5章。
第1章 緒論
1.1 軟件逆向分析
1.1.1 與安全相關(guān)的逆向分析
1.1.2 針對軟件開發(fā)的逆向分析
1.1.3 本書的主要內(nèi)容
1.2 軟件逆向分析的歷史
1.3 軟件逆向分析的各個階段
1.3.1 文件裝載
1.3.2 指令解碼
1.3.3 語義映射
1.3.4 相關(guān)圖構(gòu)造
1.3.5 過程分析
1.3.6 類型分析
1.3.7 結(jié)果輸出
1.4 逆向分析框架
1.4.1 靜態(tài)分析框架
1.4.2 動態(tài)分析框架
1.4.3 動靜結(jié)合的分析框架
第2章 指令系統(tǒng)
2.1 指令系統(tǒng)概述
2.2 機(jī)器指令與匯編指令
2.2.1 機(jī)器指令
2.2.2 匯編指令
2.3 LA.6 4體系結(jié)構(gòu)的特點(diǎn)
2.3.1 顯式并行機(jī)制_
2.3.2 IA.64微處理器體系結(jié)構(gòu)
2.4 指令格式
本章 小結(jié)
第3章 可執(zhí)行文件
3.1 可執(zhí)行文件概述
3.2 可執(zhí)行文件格式
3.2.1 ELF文件的3種主要類型
3.2.2 文件格式
3.2.3 數(shù)據(jù)表示
3.2.4 文件頭
3.2.5 節(jié)
3.2.6 字符串表
3.2.7 符號表
3.3 一個簡單的ELF文件分析
3.3.1 文件頭分析
3.3.2 section信息分析
本章 小結(jié)
第4章 反匯編技術(shù)
4.1 反匯編技術(shù)簡介
4.2 反匯編算法流程
4.2.1 線性掃描算法
4.2.2 遞歸掃描算法
4.3 反匯編工具的自動構(gòu)造方法
4.3.1 自動構(gòu)造工具
4.3.2 利用自動構(gòu)造方法構(gòu)建IA-64反匯編器
4.4 常用反匯編工具介紹
4.4.1 IDAPro介紹
4.4.2 ILDasm介紹
本章 小結(jié)
第5章 指令的語義抽象
5.1 語義描述語言
5.1.1 SSL簡介
5.1.2 SSL文法的設(shè)計
5.1.3 SSL文法的擴(kuò)展
5.2 中間表示
5.2.1 低級中間表示(RTL)
5.2.2 高級中間表示(HRTL)
5.3 指令的語義抽象技術(shù)
5.3.1 語義抽象技術(shù)簡介
5.3.2 指令語義的SSL描述
5.3.3 指令語義的高級模擬
5.4 基于SSL的IA.64指令語義抽象技術(shù)
5.4.1 IA.64的體系結(jié)構(gòu)特征描述
5.4.2 整數(shù)指令的語義描述
5.5 基于模擬的IA.64指令語義抽象技術(shù)
5.5.1 IA.64浮點(diǎn)特性
5.5.2 浮點(diǎn)指令的語義模擬
5.5.3 浮點(diǎn)并行指令的語義模擬
本章 小結(jié)
第6章 基本數(shù)據(jù)類型分析
6.1 數(shù)據(jù)類型分析的相關(guān)概念
6.1.1 ITA系統(tǒng)中數(shù)據(jù)類型分析的依據(jù)
6.1.2 ITA系統(tǒng)中基本數(shù)據(jù)類型分析的重要性
6.1.3 ITA系統(tǒng)中基本數(shù)據(jù)類型和高級C語言數(shù)據(jù)類型
6.2 基于指令語義的基本數(shù)據(jù)類型分析
6.2.1 &和*運(yùn)算符
6.2.2 普通算術(shù)指令的描述
6.2.3 內(nèi)存讀寫指令
6.2.4 轉(zhuǎn)移指令
6.3 基于過程的數(shù)據(jù)類型分析技術(shù)
6.3.1 變量重命名技術(shù)
6.3.2 變量類型推導(dǎo)的規(guī)則
6.3.3 格理論在變量類型推導(dǎo)中的應(yīng)用
本章 小結(jié)
第7章 高級控制流恢復(fù)
7.1 控制流恢復(fù)概述
7.1.1 控制語句在中間代碼中的組織特點(diǎn)
7.1.2 基本塊的劃分及控制流圖的構(gòu)建
7.1.3 控制流恢復(fù)術(shù)語
7.2 高級控制流恢復(fù)分析
7.2.1 可結(jié)構(gòu)化和不可結(jié)構(gòu)化循環(huán)子圖
7.2.2 可結(jié)構(gòu)化和不可結(jié)構(gòu)化two-way條件子圖
7.2.3 可結(jié)構(gòu)化和不可結(jié)構(gòu)化n-way條件子圖
7.2.4 多重結(jié)構(gòu)頭節(jié)點(diǎn)子圖
7.3 結(jié)構(gòu)化算法介紹
7.3.1 對流圖各節(jié)點(diǎn)進(jìn)行正向后序遍歷
7.3.2 對流圖各節(jié)點(diǎn)進(jìn)行反向后序遍歷
7.3.3 直接后必經(jīng)節(jié)點(diǎn)的確定
7.3.4 結(jié)構(gòu)化含有條件判斷的子圖
7.3.5 使用Pr定理構(gòu)建循環(huán)子圖結(jié)構(gòu)
7.4 可能出現(xiàn)的問題與解決辦法
本章 小結(jié)
第8章 過程恢復(fù)技術(shù)
8.1 相關(guān)知識簡介
8.1.1 調(diào)用約定
8.1.2 控制流分析及數(shù)據(jù)流分析
8.1.3 過程抽象
8.1.4 過程分析的目標(biāo)
8.2 庫函數(shù)恢復(fù)
8.2.1 內(nèi)嵌庫函數(shù)的恢復(fù)
8.2.2 動態(tài)鏈接庫函數(shù)的恢復(fù)
8.3 用戶自定義函數(shù)分析
8.3.1 函數(shù)名識別
8.3.2 用戶自定義函數(shù)的參數(shù)分析
8.3.3 用戶自定義函數(shù)的返回值分析
本章 小結(jié)
第9章 部分編譯優(yōu)化效果的消除
9.1 謂詞執(zhí)行效果的消除
9.1.1 謂詞執(zhí)行和IF轉(zhuǎn)換
9.1.2 簡單謂詞消除策略
9.1.3 謂詞分析
9.1.4 謂詞消除
9.2 投機(jī)優(yōu)化的消除
9.2.1 IA.64中投機(jī)的方式及實現(xiàn)方法
9.2.2 反投機(jī)的目的和算法設(shè)計
9.3 軟件流水優(yōu)化的消除
9.3.1 軟件流水機(jī)制
9.3.2 IA.64軟件流水循環(huán)
9.3.3 軟件流水消除技術(shù)
9.3.4 ITA系統(tǒng)中軟件流水消除技術(shù)的實現(xiàn)
本章 小結(jié)
第10章 程序的調(diào)試與測試
10.1 常用程序調(diào)試工具
10.2 幾種常用測試集
參考文獻(xiàn)
2.逆向分析加密算法
加密系統(tǒng)往往與隱私有關(guān):一個人傳遞給另一個人的信息可能并不想讓其他人知道?梢源致缘貙⒓用芩惴ǚ譃閮山M:有限加密算法和基于密鑰的算法。有限加密算法好比一些孩子們玩的游戲:寫給一個朋友一封信,信中的每個字母都經(jīng)過向上或向下的若干次移動。有限加密算法的秘密在于算法本身,一旦算法被揭露,也就毫無秘密可言。由于逆向分析可以分析出加密或解密算法,因此有限加密算法只能提供非常脆弱的安全性。由于其算法也是保密的,因此逆向分析可以被看作是對算法的破解過程。
另一方面,基于密鑰的算法的秘密是密鑰,即一些類似于數(shù)字的值,它們可以由某些算法來對信息進(jìn)行加密和解密。在基于密鑰的算法中,用戶使用密鑰對信息進(jìn)行加密,并保證密鑰的隱蔽性。這種算法通常是公開的,而僅需要保護(hù)密鑰即可。由于算法是已知的,因此逆向分析變得毫無意義。為了對一條經(jīng)過基于密鑰算法加密的信息進(jìn)行解密,可能需要以下3種途徑:①獲取密鑰;②嘗試所有可能的組合;③尋找算法中的缺陷,從而解析出密鑰或最初的信息。
盡管如此,對于基于密鑰加密方法的逆向分析在某些方面卻意義非凡。即便加密算法廣為人知,特定的實現(xiàn)細(xì)節(jié)也會對程序提供的所有安全級別造成意想不到的影響。無論加密算法如何精巧,很小的實現(xiàn)錯誤也有可能使該算法提供的安全級別失效。而確認(rèn)一個安全產(chǎn)品是否真正地實現(xiàn)一個加密算法只有兩種途徑:要么分析它的源代碼(假定是可行的),要么進(jìn)行逆向分析。
3.?dāng)?shù)字版權(quán)管理
現(xiàn)代計算機(jī)系統(tǒng)已經(jīng)將大多數(shù)類型的具有版權(quán)的材料轉(zhuǎn)變?yōu)閿?shù)字信息,包括音樂、影視,甚至?xí)。這些信息以前只能夠通過具體的媒介獲取,而現(xiàn)在可以通過數(shù)字化信息得到。這種趨勢為用戶提供了巨大的好處,也為版權(quán)擁有者和內(nèi)容提供商帶來了一些問題。對于用戶來說,這意味著資料質(zhì)量的提高,并且易于獲取和管理。對于提供商來說,這使得他們能夠以很低的費(fèi)用提供高質(zhì)量的內(nèi)容,但更為重要的是,這種方式使得對內(nèi)容流向的控制無法完成。
數(shù)字化信息以難以想象的速度在流動,并且易于復(fù)制。這種流動性意味著一旦帶有版權(quán)的資料到達(dá)用戶手中,用戶能夠很容易地對其進(jìn)行移動和復(fù)制,因此盜版也變得相當(dāng)容易。通常軟件公司通過在軟件產(chǎn)品中嵌入復(fù)制保護(hù)技術(shù)防止被盜版,即通過在軟件產(chǎn)品中嵌入代碼片段來防止或限制用戶對程序進(jìn)行復(fù)制。