源代碼分析

定　價：￥98.00

作　者：	宮云戰(zhàn) 邢穎肖慶等
出版社：	科學出版社
叢編項：
標　簽：	程序設計計算機/網(wǎng)絡其他

購買這本書可以去

ISBN：	9787030551887	出版時間：	2017-11-01	包裝：	平裝
開本：	B5	頁數(shù)：	284	字數(shù)：

內容簡介

　　目前，源代碼分析是軟件工程領域的必備方法之一，有著強烈的工程需求和實用價值，已成為國際學術界和工業(yè)界的一個熱點。本書從源代碼分析的基本概念開始，將其中所涉及的重要的技術和應用——抽象解釋、符號計算、區(qū)間運算、路徑敏感分析、抽象內存建模、上下文分析、程序切片、路徑計算和約束求解等，結合大量的實例進行由淺入深的介紹和講解；同時，在本書的*后專門介紹應用源代碼分析技術所研發(fā)的一些常用測試工具，并重點介紹兩款靜態(tài)分析工具——DTS、CTS。