源代碼分析

定　價(jià)：￥98.00

作　者：	宮云戰(zhàn) 邢穎肖慶等
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	程序設(shè)計(jì) 計(jì)算機(jī)/網(wǎng)絡(luò) 其他

購(gòu)買這本書可以去

ISBN：	9787030551887	出版時(shí)間：	2017-11-01	包裝：	平裝
開本：	B5	頁(yè)數(shù)：	284	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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