c/c++代码检查

静态检查很有用，尤其是项目比较大的时候，我曾经花了很长时间寻找合适的静态检查工具（pclint很好，但不具备扩展性），最终我比较看好 Coverity，Codesonar, Parasoft C++ Test，并且从网站上看，前两者技术上要更好一些，它们支持基于程序执行分支的规则，而Parasoft C++ Test则"知名度"较高，它不能支持基于分支的规则。

还有一类工具，也是用静态技术，但主要不是为了检查，而是为了度量，比如统计代码中各种函数调用图，include图等，这类工具我用的很少。

由于c++的复杂性，这类工具（无论是检查还是度量）做的好的不多，而Java的检查和度量工具就要多一些。