原始碼分析

《原始碼分析》是2018年科學出版社出版的圖書，作者是宮雲戰。

基本介紹

• 中文名：原始碼分析
• 作者：宮雲戰
• 出版社：科學出版社
• ISBN：9787030551887
• 出版時間：2018-01

內容簡介

目前，原始碼分析是軟體工程領域的必備方法之一，有著強烈的工程需求和實用價值，已成為國際學術界和工業界的一個熱點。該書從原始碼分析的基本概念開始，將其中所涉及的重要的技術和套用——抽象解釋、符號計算、區間運算、路徑敏感分析、抽象記憶體建模、上下文分析、程式切片、路徑計算和約束求解等，結合大量的實例進行由淺入深的介紹和講解；同時，在本書的最後專門介紹套用原始碼分析技術所研發的一些常用測試工具，並重點介紹兩款靜態分析工具——DTS、CTS。

圖書目錄

前言

第1章原始碼分析概要

第2章抽象解釋

第3章符號計算

第4章區間運算技術

第5章路徑敏感分析

第6章抽象記憶體建模

第7章上下文分析

第8章程式切片

第9章路徑計算

第10章約束求解

第11章原始碼分析套用