書單推薦
更多
新書推薦
更多

源代碼分析

源代碼分析

定  價:98 元

叢書名:信息科學技術學術著作叢書

        

當前圖書已被 1 所學校薦購過!
查看明細

  • 作者:宮云戰(zhàn), 邢穎, 肖慶等著
  • 出版時間:2018/1/1
  • ISBN:9787030551887
  • 出 版 社:科學出版社
  • 中圖法分類:TP311.52 
  • 頁碼:
  • 紙張:膠版紙
  • 版次:1
  • 開本:16K
9
7
5
8
5
7
1
0
8
3
8
0
7

讀者對象:本書是軟件工程領域的專業(yè)書籍,可供從事軟件工程領域相關工作的研究人員學習和參考

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

更多科學出版社服務,請掃碼獲取。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內容