程序分析技術 王甜甜 9787030756251 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：科學
物品所在地：中國大陸
原出版社：科學
NT$687
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202407*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：程序分析技術 ISBN：9787030756251 出版社：科學 著編譯者：王甜甜 頁數：158 所在地：中國大陸 *此為代購商品 書號：1678105 可大量預訂，請先連絡。 內容簡介 程序分析技術是編譯器、軟體開發以及軟體質量保障的基礎。本書共6章，主要內容包括程序分析基礎、程序的中間表示、數據流分析、程序切片與程序插樁、軟體缺陷檢測、智能化程序分析技術等，涵蓋了程序分析基礎理論和技術，還貫穿若干案例，講解工業界的程序分析實踐。 本書可供程序分析方向研究人員和軟體從業人員閱讀，也可以作為高等院校計算機科學與技術、軟體工程、信息安全及相關專業的博士和碩士研究生的參考書。目錄 前言1 程序分析基礎 1 1 程序分析概述 1 1 1 什麼是程序分析？ 1 1 2 為何需要程序分析技術？ 1 1 3 程序分析技術的分類 1 2 靜態程序分析 1 2 1 靜態程序分析的程序屬性 1 2 2 靜態程序分析的一般流程和方法 1 3 動態程序分析 1 3 1 動態程序分析的程序屬性 1 3 2 動態程序分析的一般流程和方法 1 4 靜態和動態程序分析的特性對比 1 4 1 程序不變數的含義 1 4 2 程序不變數實例分析 1 4 3 基於動態程序分析的可能程序不變數檢測 1 4 4 基於靜態程序分析的程序不變數推導 1 4 5 完備分析、完全分析和可終止 1 4 6 靜態和動態程序分析技術的比較 1 5 程序分析技術的應用 1 5 1 編譯器優化 1 5 2 軟體質量保障工具 1 5 3 集成開發環境 1 6 小結 2 程序的中間表示 2 1 token序列 2 2 語法樹 2 3 控制流圖 2 4 調用圖 2 5 程序依賴圖和系統依賴圖 2 5 1 程序依賴圖 2 5 2 系統依賴圖 2 6 靜態單賦值 2 7 指向圖 2 8 靜態程序分析策略 2 8 1 可能分析和必然分析 2 8 2 程序分析的範圍 2 8 3 敏感程度 2 9 程序中間表示生成工具 2 9 1 編譯器前端 2 9 2 控制流和數據流分析工具 2 9 3 靜態二進位代碼分析工具 2 10 程序的中間表示在克隆代碼檢測中的應用 2 10 1 克隆代碼的含義和類型 2 10 2 克隆代碼的產生原因和危害 2 10 3 克隆代碼檢測方法分類 2 10 4 典型的克隆代碼檢測方法 2 10 5 克隆代碼檢測技術的應用 2 11 小結 3 數據流分析 3 1 數據流分析中的抽象 3 2 數據流分析的單調框架 3 2 1 前向和反向、可能和必然分析 3 2 2 迭代法求解數據流 3 3 經典的數據流分析 3 3 1 到達定值分析 3 3 2 活躍變數分析 3 3 3 可用表達式分析 3 3 4 非常繁忙表達式分析 3 4 過程間數據流分析 3 5 小結 4 程序切片與程序插樁 4 1 程序切片的基本概念 4 1 1 語句之間相互影響的分析 4 1 2 程序切片的定義 4 2 程序切片的分類 4 2 1 前向切片和反向切片 4 2 2 過程內切片和過程間切片 4 2 3 靜態切片和動態切片 4 3 程序切片演算法 4 3 1 基於數據流等式的程序切片演算法 4 3 2 基於圖可達性的過程內切片演算法 4 3 3 基於圖可達性的過程間切片演算法 4 3 4 動態反向切片演算法 4 4 程序插樁的基本概念 4 5 程序插樁方法 4 5 1 基於抽象語法樹的程序插樁方法 4 5 2 基於二進位代碼的程序插樁方法 4 6 程序切片的應用 4 7 小結 5 軟體缺陷檢測 5 1 軟體缺陷的定義和分類 5 1 1 軟體缺陷的定義 5 1 2 軟體缺陷的分類 5 2 軟體缺陷檢測技術 5 2 1 靜態缺陷檢測技術 5 2 2 基於模式的缺陷檢測方法 5 2 3 動態缺陷檢測技術 5 2 4 基於運行時監測的缺陷檢測方法 5 2 5 安全開發生命周期 5 3 靜態缺陷檢測工具 5 3 1 基於詞法分析的缺陷檢測工具 5 3 2 基於語法分析的缺陷檢測工具 5 3 3 基於數據流分析的缺陷檢測工具 5 3 4 基於靜態污點分析的缺陷檢測工具 5 3 5 基於模型檢查的缺陷檢測工具 5 3 6 基於靜態符號執行的缺陷檢測工具 5 3 7 基於抽象解釋的缺陷檢測工具 5 3 8 基於定理證明的缺陷檢測工具 5 3 9 商業的基於靜態程序分析的缺陷檢測工具 5 4 動態缺陷檢測工具 5 4 1 基於運行時監測的缺陷檢測工具 5 4 2 基於模糊測試的缺陷檢測工具 5 4 3 基於動態符號執行的缺陷檢測工具 5 4 4 基於動態污點分析的缺陷檢測工具 5 4 5 滲透測試工具 5 4 6 商業的基於動態程序分析的缺陷檢測工具 5 5 小結 6 智能化程序分析技術 6 1 基於搜索的程序分析技術 6 1 1 基於遺傳編程的程序自動化修復 6 1 2 基於搜索的軟體測試 6 1 3 基於搜索的程序分析技術的難點問題 6 2 數據驅動的程序分析技術 6 2 1 基於深度學習的程序自動化修復 6 2 2 基於深度學習的克隆代碼檢測 6 2 3 深度學習技術應用於程序分析領域的難點問題 6 3 小結 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
