軟件逆向工程技術(shù)與應(yīng)用

1.1 軟件逆向工程概述
1.2 反編譯與二進制翻譯
1.3 反編譯過程的各個階段
1.4 反編譯技術(shù)相關(guān)研究
1.5 反編譯的形式框架
1.6 本章小結(jié)
第2章 UQBT框架
2.1 UQBT框架
2.2 UQBT中間表示
2.3 UQBT前端模塊
2.4 后端模塊
2.5 實現(xiàn)效果
2.6 本章小結(jié)
第3章 硬件體系結(jié)構(gòu)
3.1 CPU體系結(jié)構(gòu)
3.2 lA-64體系結(jié)構(gòu)
3.3 本章小結(jié)
第4章 ELF64文件裝載
4.1 ELF64文件格式
4.2 ELF64文件MAIN函數(shù)定位
4.3 本章小結(jié)
第5章 反匯編
5.1 反匯編技術(shù)簡介
5.2 自動反匯編構(gòu)造工具NJMCT
5.3 IA-64反匯編器構(gòu)造
5.4 本章小結(jié)
第6章 語義描述語言
6.1 語義描述語言
6.2 語義描述語言SsL
6.3 SSL文法的擴展
6.4 本章小結(jié)
第7章 lA-64指令語義抽象
7.1 概述
7.2 中間表示
7.3 基于SSL的IA-64指令語義抽象技術(shù)
7.4 基于模擬的lA-64指令語義抽象技術(shù)
7.5 本章小結(jié)
第8章 謂詞消除
8.1 lA-64謂詞執(zhí)行
8.2 謂詞執(zhí)行的并行優(yōu)化
8.3 謂詞消除
8.4 謂詞執(zhí)行分析
8.5 謂詞消除改進
8.6 本章小結(jié)
第9章 數(shù)據(jù)流分析
9.1 概述
9.2 簡化的分析語言
9.3 數(shù)據(jù)流分析定義
9.4 數(shù)據(jù)流分析框架
9.5 數(shù)據(jù)流分析近似性對過程參數(shù)分析的影響
9.6 本章小結(jié)
第10章 低級C代碼生成
10.1 中間表示的轉(zhuǎn)換
10.2 過程處理
10.3 基本塊處理
10.4 低級RT的轉(zhuǎn)換
10.5 高級RT的轉(zhuǎn)換
10.6 本章小結(jié)
第11章 間接跳轉(zhuǎn)及switch語句恢復(fù)
11.1 概述
11.2 Branch語言指稱語義
11.3 結(jié)合數(shù)據(jù)流分析構(gòu)造控制流圖
11.4 switch語句恢復(fù)算法
11.5 實驗數(shù)據(jù)
11.6 本章小結(jié)
第12章 數(shù)據(jù)類型恢復(fù)
12.1 概述
12.2 基于指令語義的數(shù)據(jù)類型恢復(fù)
12.3 基于數(shù)據(jù)流的類型分析
12.4 本章小結(jié)
第13章 間接調(diào)用與動態(tài)地址解析
13.1 概述
13.2 間接過程調(diào)用
13.3 間接調(diào)用動態(tài)鏈接庫函數(shù)
13.4 回調(diào)函數(shù)
13.5 動態(tài)地址解析
13.6 綜合分析
13.7 本章小結(jié)
第14章 控制流代碼恢復(fù)分析
14.1 基本塊的劃分及控制流圖的構(gòu)建
14.2 控制流恢復(fù)術(shù)語
14.3 高級控制流分析
14.4 結(jié)構(gòu)化算法
14.5 本章小結(jié)
第15章 高級控制流代碼恢復(fù)
15.1 概述
15.2 符號與約定
15.3 生成循環(huán)結(jié)構(gòu)代碼
15.4 生成TWO-WAY條件結(jié)構(gòu)代碼
15.5 生成N-WAY條件結(jié)構(gòu)代碼
15.6 生成ONE-WAY結(jié)構(gòu)代碼
15.7 完整的控制流代碼生成算法
15.8 本章小結(jié)
參考文獻
后記