軟體逆向工程技術與套用

內容簡介

《軟體逆向工程技術與套用》共分為15章，其中第1章介紹了軟體逆向工程的基本概念及方法，第2章介紹了逆向開源工具UQBT設計的結構及如何利用該工具構建特定的軟體逆向工具，第3童對IA—64的體系結構及其特點進行了介紹，第4章介紹了ELF64檔案的讀取及解析，並對strip處理後的二進制檔案mam函式的定位給出了解決方案等。

作者簡介

丁松陽，男，1972年5月出生，副教授。2010年12月畢業於解放軍信息工程大學計算機軟體與理論專業，獲工學博士學位。1994年7月至今從事計算機相關教學與研究工作，研究方向為計算機網路及信息安全。

圖書目錄

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

軟體逆向工程技術與套用

基本介紹

內容簡介

作者簡介

圖書目錄

相關詞條

熱門詞條