圖書信息
反編譯技術與軟體逆向分析作者:趙榮彩,龐建民,張靖博 編著
出版社:國防工業出版社
出版時間:2009-11-1
開本:16開
ISBN:9787118065466
定價:¥36.00
內容簡介
本書共分10章。第1章到第3章簡要介紹了軟體逆向分析技術的相關基礎知識;第4章和第5章從反彙編和中間表示兩個方面為反編譯奠定基礎;第6章到第9章針對反編譯的若干關鍵技術展開詳細介紹;第10章則為反編譯測試相關的一些可用資源。全書以IA-64可執行代碼為例進行講解,但相關技術可以向其他平台推廣。本書可作為計算機軟體專業本科高年級學生、碩士研究生的相關課程教科書或教學參考書,也可供從事軟體逆向分析工作的工程技術人員參考。
圖書目錄
第1章緒論 1.1軟體逆向分析1.1.1與安全相關的逆向分析
1.1.2針對軟體開發的逆向分析
1.1.3本書的主要內容
1.2軟體逆向分析的歷史
1.3軟體逆向分析的各個階段
1.3.1檔案裝載
1.3.2指令解碼
1.3.3語義映射
1.3.4相關圖構造
1.3.5過程分析
1.3.6類型分析
1.3.7結果輸出
1.4逆向分析框架
1.4.1靜態分析框架
1.4.2動態分析框架
1.4.3動靜結合的分析框架
第2章指令系統
2.1指令系統概述
2.2機器指令與彙編指令
2.2.1機器指令
2.2.2彙編指令
2.3LA.64體系結構的特點
2.3.1顯式並行機制_
2.3.2IA.64微處理器體系結構
2.4指令格式
本章小結
第3章執行檔
3.1執行檔概述
3.2執行檔格式
3.2.1ELF檔案的3種主要類型
3.2.2檔案格式
3.2.3數據表示
3.2.4檔案頭
3.2.5節
3.2.6字元串表
3.2.7符號表
3.3一個簡單的ELF檔案分析
3.3.1檔案頭分析
3.3.2section信息分析
本章小結
第4章反彙編技術
4.1反彙編技術簡介
4.2反匯編算法流程
4.2.1線性掃描算法
4.2.2遞歸掃描算法
4.3反彙編工具的自動構造方法
4.3.1自動構造工具
4.3.2利用自動構造方法構建IA-64反彙編器
4.4常用反彙編工具介紹
4.4.1IDAPro介紹
4.4.2ILDasm介紹
本章小結
第5章指令的語義抽象
5.1語義描述語言
5.1.1SSL簡介
5.1.2SSL文法的設計
5.1.3SSL文法的擴展
5.2中間表示
5.2.1低級中間表示(RTL)
5.2.2高級中間表示(HRTL)
5.3指令的語義抽象技術
5.3.1語義抽象技術簡介
5.3.2指令語義的SSL描述
5.3.3指令語義的高級模擬
5.4基於SSL的IA.64指令語義抽象技術
5.4.1IA.64的體系結構特徵描述
5.4.2整數指令的語義描述
5.5基於模擬的IA.64指令語義抽象技術
5.5.1IA.64浮點特性
5.5.2浮點指令的語義模擬
5.5.3浮點並行指令的語義模擬
本章小結
第6章基本數據類型分析
第7章高級控制流恢復
第8章過程恢復技術
第9章部分編譯最佳化效果的消除
第10章程式的調試與測試
參考文獻