尹浩 于秀山编著
本书系统介绍了代码静态分析原理及常用的方法，讲述了C、C++、Java语言在编程方面经常出现的问题，并对这些问题进行了分析，给出了改正方法；结合代码静态分析，给出了代码质量度量方法；介绍了典型的静态分析工具及其在软件测试中的应用；最后，给出了一个静态分析技术应用实例。
