Open-source C ++ static analysis tools

Open-source C ++ static analysis tools

Java has some excellent and open-source static analysis tools, such as findbugs, checkstyle, and PMD. These tools are easy to use and beneficial for development. They can run on multiple operating systems and are free of charge.

Commercial-Level C ++ static analysis tools include klocwork, gimpel, and coverity. Although these products are excellent, they are expensive and not suitable for most students.

Another way is to find an open-source C ++ static analysis tool that can run on multiple platforms (Windows and UNIX. Open-source tools can also be modified to meet some special needs. However, finding the right tool is not an easy task.

The following is my c ++ static analysis tool.
C ++ check address: http://sf.net/projects/cppcheck/
Oink address: http://www.cubewano.org/oink/
C and C ++ code counter: http://sourceforge.net/projects/cccc/
Splint
Mozilla pork
Mozilla's dehydra
Weff ++ for GNU g ++ options

Are there other open-source C ++ static analysis tools?