静态代码分析工具有哪些

Code Dx是一款商业静态代码分析工具，支持C、C++、Java、.NET等多种代码分析。Code Dx既可以通过Web进行操作，又可以以eclipse的插件形式使用。

PC Lint被称为C / c++的PC - Lint / FlexeLint。它是由GIMPEL软件开发的C / c++静态代码检测工具，由许多大型软件公司的程序员使用。

目前主流的静态分析工具有Klocwork，Coverity， TestBad...因为他们的出发点不同，所以各有特点，在国内的发展情况也不一样。