掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
程序分析技術 版權信息
- ISBN：9787030756251
- 條形碼：9787030756251 ; 978-7-03-075625-1
- 裝幀：平裝
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
程序分析技術 內容簡介
程序分析技術是編譯器、軟件開發以及軟件質量保障的基礎。本書共6章，主要內容包括程序分析基礎、程序的中間表示、數據流分析、程序切片與程序插樁、軟件缺陷檢測、智能化程序分析技術等，涵蓋了程序分析基礎理論和技術，還貫穿若干案例，講解工業界的程序分析實踐。
程序分析技術 目錄
目錄前言1 程序分析基礎 11.1 程序分析概述 11.1.1 什么是程序分析？ 11.1.2 為何需要程序分析技術？ 11.1.3 程序分析技術的分類 21.2 靜態程序分析 31.2.1 靜態程序分析的程序屬性 31.2.2 靜態程序分析的一般流程和方法 51.3 動態程序分析 81.3.1 動態程序分析的程序屬性 81.3.2 動態程序分析的一般流程和方法 91.4 靜態和動態程序分析的特性對比 111.4.1 程序不變量的含義 121.4.2 程序不變量實例分析 121.4.3 基于動態程序分析的可能程序不變量檢測 131.4.4 基于靜態程序分析的程序不變量推導 141.4.5 完備分析、完全分析和可終止 171.4.6 靜態和動態程序分析技術的比較 181.5 程序分析技術的應用 201.5.1 編譯器優化 201.5.2 軟件質量保障工具 211.5.3 集成開發環境 231.6 小結 242 程序的中間表示 262.1 token序列 262.2 語法樹 272.3 控制流圖 292.4 調用圖 332.5 程序依賴圖和系統依賴圖 332.5.1 程序依賴圖 332.5.2 系統依賴圖 352.6 靜態單賦值 362.7 指向圖 372.8 靜態程序分析策略 382.8.1 可能分析和必然分析 382.8.2 程序分析的范圍 392.8.3 敏感程度 392.9 程序中間表示生成工具 432.9.1 編譯器前端 432.9.2 控制流和數據流分析工具 462.9.3 靜態二進制代碼分析工具 472.10 程序的中間表示在克隆代碼檢測中的應用 472.10.1 克隆代碼的含義和類型 482.10.2 克隆代碼的產生原因和危害 482.10.3 克隆代碼檢測方法分類 492.10.4 典型的克隆代碼檢測方法 512.10.5 克隆代碼檢測技術的應用 572.11 小結 573 數據流分析 593.1 數據流分析中的抽象 593.2 數據流分析的單調框架 613.2.1 前向和反向、可能和必然分析 613.2.2 迭代法求解數據流 623.3 **的數據流分析 643.3.1 到達定值分析 643.3.2 活躍變量分析 713.3.3 可用表達式分析 753.3.4 非常繁忙表達式分析 793.4 過程間數據流分析 823.5 小結 834 程序切片與程序插樁 844.1 程序切片的基本概念 844.1.1 語句之間相互影響的分析 844.1.2 程序切片的定義 864.2 程序切片的分類 874.2.1 前向切片和反向切片 874.2.2 過程內切片和過程間切片 884.2.3 靜態切片和動態切片 884.3 程序切片算法 904.3.1 基于數據流等式的程序切片算法 904.3.2 基于圖可達性的過程內切片算法 904.3.3 基于圖可達性的過程間切片算法 924.3.4 動態反向切片算法 964.4 程序插樁的基本概念 994.5 程序插樁方法 1014.5.1 基于抽象語法樹的程序插樁方法 1014.5.2 基于二進制代碼的程序插樁方法 1034.6 程序切片的應用 1064.7 小結 1095 軟件缺陷檢測 1105.1 軟件缺陷的定義和分類 1105.1.1 軟件缺陷的定義 1105.1.2 軟件缺陷的分類 1115.2 軟件缺陷檢測技術 1155.2.1 靜態缺陷檢測技術 1165.2.2 基于模式的缺陷檢測方法 1175.2.3 動態缺陷檢測技術 1225.2.4 基于運行時監測的缺陷檢測方法 1235.2.5 安全開發生命周期 1255.3 靜態缺陷檢測工具 1265.3.1 基于詞法分析的缺陷檢測工具 1275.3.2 基于語法分析的缺陷檢測工具 1275.3.3 基于數據流分析的缺陷檢測工具 1285.3.4 基于靜態污點分析的缺陷檢測工具 1285.3.5 基于模型檢查的缺陷檢測工具 1295.3.6 基于靜態符號執行的缺陷檢測工具 1305.3.7 基于抽象解釋的缺陷檢測工具 1305.3.8 基于定理證明的缺陷檢測工具 1315.3.9 商業的基于靜態程序分析的缺陷檢測工具 1315.4 動態缺陷檢測工具 1335.4.1 基于運行時監測的缺陷檢測工具 1335.4.2 基于模糊測試的缺陷檢測工具 1345.4.3 基于動態符號執行的缺陷檢測工具 1355.4.4 基于動態污點分析的缺陷檢測工具 1365.4.5 滲透測試工具 1375.4.6 商業的基于動態程序分析的缺陷檢測工具 1375.5 小結 1386 智能化程序分析技術 1406.1 基于搜索的程序分析技術 1406.1.1 基于遺傳編程的程序自動化修復 1416.1.2 基于搜索的軟件測試 1446.1.3 基于搜索的程序分析技術的難點問題 1446.2 數據驅動的程序分析技術 1446.2.1 基于深度學習的程序自動化修復 1456.2.2 基于深度學習的克隆代碼檢測 1486.2.3 深度學習技術應用于程序分析領域的難點問題 1506.3 小結 151參考文獻 152
展開全部
書友推薦
- >
中國歷史的瞬間
- >
月亮虎
- >
自卑與超越
- >
名家帶你讀魯迅:故事新編
- >
名家帶你讀魯迅:朝花夕拾
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
小考拉的故事-套裝共3冊
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
本類暢銷
