掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國(guó)計(jì)算機(jī)等級(jí)考試最新真考題庫(kù)模擬考場(chǎng)及詳解·二級(jí)MSOffice高級(jí)應(yīng)用
-
>
決戰(zhàn)行測(cè)5000題(言語理解與表達(dá))
-
>
軟件性能測(cè)試.分析與調(diào)優(yōu)實(shí)踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強(qiáng)教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
買過本商品的人還買了
中圖價(jià):¥33.4
加入購(gòu)物車
軟件逆向工程技術(shù)與應(yīng)用 版權(quán)信息
- ISBN：9787509628270
- 條形碼：9787509628270 ; 978-7-5096-2827-0
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：>
軟件逆向工程技術(shù)與應(yīng)用 本書特色
軟件逆向工程應(yīng)用性非常廣泛，《經(jīng)濟(jì)管理學(xué)術(shù)文庫(kù)：軟件逆向工程技術(shù)與應(yīng)用》關(guān)注軟件逆向工程的核心問題軟件靜態(tài)分析！督(jīng)濟(jì)管理學(xué)術(shù)文庫(kù)：軟件逆向工程技術(shù)與應(yīng)用》具體以ia-64平臺(tái)下的反編譯工程為主線，在論述方面兼顧理論性與實(shí)踐性。全書共分為15章。前3章介紹了軟件逆向工程及反編譯方面的相關(guān)基礎(chǔ)知識(shí)。第4章和第5章介紹了反匯編器的設(shè)計(jì)。第6章和第7章論述了語義描述的問題。其余章節(jié)針對(duì)反編譯的若干關(guān)鍵技術(shù)展開詳細(xì)介紹。全書雖然以ia-64平臺(tái)為例展開論述，但相關(guān)技術(shù)及算法完全可以應(yīng)用到其他平臺(tái)。 《經(jīng)濟(jì)管理學(xué)術(shù)文庫(kù)：軟件逆向工程技術(shù)與應(yīng)用》可為從事軟件逆向工程工作的工程技術(shù)人員提供參考，也可作為計(jì)算機(jī)軟件專業(yè)研究生的課程教科書或教學(xué)參考書。
軟件逆向工程技術(shù)與應(yīng)用 內(nèi)容簡(jiǎn)介
軟件逆向工程應(yīng)用性非常廣泛，《經(jīng)濟(jì)管理學(xué)術(shù)文庫(kù)：軟件逆向工程技術(shù)與應(yīng)用》關(guān)注軟件逆向工程的核心問題軟件靜態(tài)分析。《經(jīng)濟(jì)管理學(xué)術(shù)文庫(kù)：軟件逆向工程技術(shù)與應(yīng)用》具體以IA-64平臺(tái)下的反編譯工程為主線，在論述方面兼顧理論性與實(shí)踐性。全書共分為15章。前3章介紹了軟件逆向工程及反編譯方面的相關(guān)基礎(chǔ)知識(shí)。第4章和第5章介紹了反匯編器的設(shè)計(jì)。第6章和第7章論述了語義描述的問題。其余章節(jié)針對(duì)反編譯的若干關(guān)鍵技術(shù)展開詳細(xì)介紹。全書雖然以IA-64平臺(tái)為例展開論述，但相關(guān)技術(shù)及算法完全可以應(yīng)用到其他平臺(tái)。 《經(jīng)濟(jì)管理學(xué)術(shù)文庫(kù)：軟件逆向工程技術(shù)與應(yīng)用》可為從事軟件逆向工程工作的工程技術(shù)人員提供參考，也可作為計(jì)算機(jī)軟件專業(yè)研究生的課程教科書或教學(xué)參考書。
軟件逆向工程技術(shù)與應(yīng)用 目錄
第1章 軟件逆向工程概論
1.1 軟件逆向工程概述
1.2 反編譯與二進(jìn)制翻譯
1.3 反編譯過程的各個(gè)階段
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 實(shí)現(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ù)簡(jiǎn)介
5.2 自動(dòng)反匯編構(gòu)造工具njmct
5.3 ia-64反匯編器構(gòu)造
5.4 本章小結(jié)
第6章 語義描述語言
6.1 語義描述語言
6.2 語義描述語言ssl
6.3 ssl文法的擴(kuò)展
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 謂詞消除改進(jìn)
8.6 本章小結(jié)
第9章 數(shù)據(jù)流分析
9.1 概述
9.2 簡(jiǎn)化的分析語言
9.3 數(shù)據(jù)流分析定義
9.4 數(shù)據(jù)流分析框架
9.5 數(shù)據(jù)流分析近似性對(duì)過程參數(shù)分析的影響
9.6 本章小結(jié)
第10章 低級(jí)c代碼生成
10.1 中間表示的轉(zhuǎn)換
10.2 過程處理
10.3 基本塊處理
10.4 低級(jí)rt的轉(zhuǎn)換
10.5 高級(jí)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í)驗(yàn)數(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)用與動(dòng)態(tài)地址解析
13.1 概述
13.2 間接過程調(diào)用
13.3 間接調(diào)用動(dòng)態(tài)鏈接庫(kù)函數(shù)
13.4 回調(diào)函數(shù)
13.5 動(dòng)態(tài)地址解析
13.6 綜合分析
13.7 本章小結(jié)
第14章 控制流代碼恢復(fù)分析
14.1 基本塊的劃分及控制流圖的構(gòu)建
14.2 控制流恢復(fù)術(shù)語
14.3 高級(jí)控制流分析
14.4 結(jié)構(gòu)化算法
14.5 本章小結(jié)
第15章 高級(jí)控制流代碼恢復(fù)
15.1 概述
15.2 符號(hào)與約定
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é)
參考文獻(xiàn)
后記
1.1 軟件逆向工程概述
1.2 反編譯與二進(jìn)制翻譯
1.3 反編譯過程的各個(gè)階段
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 實(shí)現(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ù)簡(jiǎn)介
5.2 自動(dòng)反匯編構(gòu)造工具njmct
5.3 ia-64反匯編器構(gòu)造
5.4 本章小結(jié)
第6章 語義描述語言
6.1 語義描述語言
6.2 語義描述語言ssl
6.3 ssl文法的擴(kuò)展
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 謂詞消除改進(jìn)
8.6 本章小結(jié)
第9章 數(shù)據(jù)流分析
9.1 概述
9.2 簡(jiǎn)化的分析語言
9.3 數(shù)據(jù)流分析定義
9.4 數(shù)據(jù)流分析框架
9.5 數(shù)據(jù)流分析近似性對(duì)過程參數(shù)分析的影響
9.6 本章小結(jié)
第10章 低級(jí)c代碼生成
10.1 中間表示的轉(zhuǎn)換
10.2 過程處理
10.3 基本塊處理
10.4 低級(jí)rt的轉(zhuǎn)換
10.5 高級(jí)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í)驗(yàn)數(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)用與動(dòng)態(tài)地址解析
13.1 概述
13.2 間接過程調(diào)用
13.3 間接調(diào)用動(dòng)態(tài)鏈接庫(kù)函數(shù)
13.4 回調(diào)函數(shù)
13.5 動(dòng)態(tài)地址解析
13.6 綜合分析
13.7 本章小結(jié)
第14章 控制流代碼恢復(fù)分析
14.1 基本塊的劃分及控制流圖的構(gòu)建
14.2 控制流恢復(fù)術(shù)語
14.3 高級(jí)控制流分析
14.4 結(jié)構(gòu)化算法
14.5 本章小結(jié)
第15章 高級(jí)控制流代碼恢復(fù)
15.1 概述
15.2 符號(hào)與約定
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é)
參考文獻(xiàn)
后記
展開全部
軟件逆向工程技術(shù)與應(yīng)用 作者簡(jiǎn)介
丁松陽(yáng)，男，1972年5月出生，副教授。2010年12月畢業(yè)于解放軍信息工程大學(xué)計(jì)算機(jī)軟件與理論專業(yè)，獲工學(xué)博士學(xué)位。1994年7月至今從事計(jì)算機(jī)相關(guān)教學(xué)與研究工作，研究方向?yàn)橛?jì)算機(jī)網(wǎng)絡(luò)及信息安全。
書友推薦
- >
李白與唐代文化
- >
山海經(jīng)
- >
隨園食單
- >
經(jīng)典常談
- >
苦雨齋序跋文-周作人自編集
- >
名家?guī)阕x魯迅:故事新編
- >
自卑與超越
- >
唐代進(jìn)士錄
本類暢銷
