掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
買過本商品的人還買了
軟件逆向工程技術與應用 版權信息
- ISBN：9787509628270
- 條形碼：9787509628270 ; 978-7-5096-2827-0
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
軟件逆向工程技術與應用 本書特色
軟件逆向工程應用性非常廣泛，《經濟管理學術文庫：軟件逆向工程技術與應用》關注軟件逆向工程的核心問題軟件靜態分析。《經濟管理學術文庫：軟件逆向工程技術與應用》具體以ia-64平臺下的反編譯工程為主線，在論述方面兼顧理論性與實踐性。全書共分為15章。前3章介紹了軟件逆向工程及反編譯方面的相關基礎知識。第4章和第5章介紹了反匯編器的設計。第6章和第7章論述了語義描述的問題。其余章節針對反編譯的若干關鍵技術展開詳細介紹。全書雖然以ia-64平臺為例展開論述，但相關技術及算法完全可以應用到其他平臺。 《經濟管理學術文庫：軟件逆向工程技術與應用》可為從事軟件逆向工程工作的工程技術人員提供參考，也可作為計算機軟件專業研究生的課程教科書或教學參考書。
軟件逆向工程技術與應用 內容簡介
軟件逆向工程應用性非常廣泛，《經濟管理學術文庫：軟件逆向工程技術與應用》關注軟件逆向工程的核心問題軟件靜態分析。《經濟管理學術文庫：軟件逆向工程技術與應用》具體以IA-64平臺下的反編譯工程為主線，在論述方面兼顧理論性與實踐性。全書共分為15章。前3章介紹了軟件逆向工程及反編譯方面的相關基礎知識。第4章和第5章介紹了反匯編器的設計。第6章和第7章論述了語義描述的問題。其余章節針對反編譯的若干關鍵技術展開詳細介紹。全書雖然以IA-64平臺為例展開論述，但相關技術及算法完全可以應用到其他平臺。 《經濟管理學術文庫：軟件逆向工程技術與應用》可為從事軟件逆向工程工作的工程技術人員提供參考，也可作為計算機軟件專業研究生的課程教科書或教學參考書。
軟件逆向工程技術與應用 目錄
第1章 軟件逆向工程概論
1.1 軟件逆向工程概述
1.2 反編譯與二進制翻譯
1.3 反編譯過程的各個階段
1.4 反編譯技術相關研究
1.5 反編譯的形式框架
1.6 本章小結
第2章 uqbt框架
2.1 uqbt框架
2.2 uqbt中間表示
2.3 uqbt前端模塊
2.4 后端模塊
2.5 實現效果
2.6 本章小結
第3章 硬件體系結構
3.1 cpu體系結構
3.2 la-64體系結構
3.3 本章小結
第4章 elf64文件裝載
4.1 elf64文件格式
4.2 elf64文件main函數定位
4.3 本章小結
第5章 反匯編
5.1 反匯編技術簡介
5.2 自動反匯編構造工具njmct
5.3 ia-64反匯編器構造
5.4 本章小結
第6章 語義描述語言
6.1 語義描述語言
6.2 語義描述語言ssl
6.3 ssl文法的擴展
6.4 本章小結
第7章 la-64指令語義抽象
7.1 概述
7.2 中間表示
7.3 基于ssl的ia-64指令語義抽象技術
7.4 基于模擬的la-64指令語義抽象技術
7.5 本章小結
第8章 謂詞消除
8.1 la-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.2 branch語言指稱語義
11.3 結合數據流分析構造控制流圖
11.4 switch語句恢復算法
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 本章小結
參考文獻
后記
1.1 軟件逆向工程概述
1.2 反編譯與二進制翻譯
1.3 反編譯過程的各個階段
1.4 反編譯技術相關研究
1.5 反編譯的形式框架
1.6 本章小結
第2章 uqbt框架
2.1 uqbt框架
2.2 uqbt中間表示
2.3 uqbt前端模塊
2.4 后端模塊
2.5 實現效果
2.6 本章小結
第3章 硬件體系結構
3.1 cpu體系結構
3.2 la-64體系結構
3.3 本章小結
第4章 elf64文件裝載
4.1 elf64文件格式
4.2 elf64文件main函數定位
4.3 本章小結
第5章 反匯編
5.1 反匯編技術簡介
5.2 自動反匯編構造工具njmct
5.3 ia-64反匯編器構造
5.4 本章小結
第6章 語義描述語言
6.1 語義描述語言
6.2 語義描述語言ssl
6.3 ssl文法的擴展
6.4 本章小結
第7章 la-64指令語義抽象
7.1 概述
7.2 中間表示
7.3 基于ssl的ia-64指令語義抽象技術
7.4 基于模擬的la-64指令語義抽象技術
7.5 本章小結
第8章 謂詞消除
8.1 la-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.2 branch語言指稱語義
11.3 結合數據流分析構造控制流圖
11.4 switch語句恢復算法
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 本章小結
參考文獻
后記
展開全部
軟件逆向工程技術與應用 作者簡介
丁松陽，男，1972年5月出生，副教授。2010年12月畢業于解放軍信息工程大學計算機軟件與理論專業，獲工學博士學位。1994年7月至今從事計算機相關教學與研究工作，研究方向為計算機網絡及信息安全。
書友推薦
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
李白與唐代文化
- >
月亮與六便士
- >
隨園食單
- >
我從未如此眷戀人間
- >
姑媽的寶刀
- >
史學評論
本類暢銷
