List of tools for static code analysis |
This is a list software is useful for static code analysis, grouped by programming language:
=C and/or C++=
*AntiC (also does Java) *[http://www-cad.eecs.berkeley.edu/~rupak/blast/ BLAST] *[http://www.parasoft.com/c++test C++Test] *[http://www.parasoft.com/codewizard CodeWizard] *Flawfinder *[http://www.cs.utah.edu/~regehr/stacktool/ Stacktool] *[http://www.testwell.fi/cmtdesc.html CMT++] *introspector (program) - C, but is expanding to include perl, bison, m4, bash, c#, java.c++, fortran, objective-c, lisp and scheme. *[http://www.cs.berkeley.edu/~daw/mops/ MOPS] *OpenCxx *[http://www.codemonkey.org.uk/projects/git-snapshots/sparse/ Sparse] *[http://www.coverity.com/nf_main.html Coverity] (see also [http://cs.stanford.edu/~engler the MC Checker] for background). *SPlint
=Java=
*AntiC (also does C and/or C++) *[http://www.testwell.fi/cmtjdesc.html CMTJava] - Complexity Measures Tool for Java *[http://research.compaq.com/SRC/esc/ ESC/Java - Extended Static Checking for Java] *[http://www.parasoft.com/jtest Jtest] *[http://www.agitar.com/ Agitator Dashboard] *[http://checkstyle.sourceforge.net/ Checkstyle] *[http://findbugs.sourceforge.net/ FindBugs] *[http://www.hammurapi.org/content/home.html Hammurapi] *[http://www.headwaysoftware.com Headway Review] - Java and also Ada. *[http://www.clarkware.com/software/JDepend.html JDepend] *[http://artho.com/jlint/ Jlint] *[http://pmd.sourceforge.net/ PMD]
=PHP=
*[http://www.openwaves.net/webssari.htm WebSSARI] *Zend Technologies Studio IDE includes static code analysis for PHP, called the Code Analyzer . [http://www.zend.com/store/products/zend-studio/feature-list.php#Analysis]
=Not language-specific=
*[http://www.absint.com/pag/ PAG] and [http://www.program-analysis.com/ PAG/WWW] - The Program Analyzer Generator, not for a specific language, but for building analyzers. *[http://www.absint.com/stackanalyzer/ StackAnalyzer] - Stack Usage Analysis.
=Unknown language=
*Broadway (software) *SLAM (software) *BOON *Cqual *Kaylo *PREfast, PREfix (software) *Smatch
=See Also=
|
|