尹浩 於秀山編著
本書系統介紹了代碼靜態分析原理及常用的方法，講述了C、C++、Java語言在編程方面經常出現的問題，並對這些問題進行了分析，給出了改正方法；結合代碼靜態分析，給出了代碼質量度量方法；介紹了典型的靜態分析工具及其在軟件測試中的應用；最後，給出了一個靜態分析技術應用實例。
