|
*[[Graceful degradation]]
===Tools===
#[[AntiC]]
#[[BLAST]]
#[[BOON]]
#[[Broadway]]
#[http://www.parasoft.com/c++test C++Test]
#[http://checkstyle.sourceforge.net/ Checkstyle]
#[[Cqual]]
#[http://www.parasoft.com/codewizard CodeWizard]
#[http://research.compaq.com/SRC/esc/ ESC/Java]
#[http://findbugs.sourceforge.net/ FindBugs]
#[[Flawfinder]]
#[[introspector (program)|GCC Introspector]]
#[http://www.clarkware.com/software/JDepend.html JDepend]
#[http://artho.com/jlint/ Jlint]
#[http://www.parasoft.com/jtest Jtest]
#[[Kaylo]]
#[http://www.cs.berkeley.edu/~daw/mops/ [MOPS]]
#[[OpenCxx|OpenC++]]
#[http://www.absint.com/pag/ PAG] and [http://www.program-analysis.com/ PAG/WWW]
#[http://pmd.sourceforge.net/ [PMD]]
#[[PREfast]], [[PREfix (software)|PREfix]]
#[[SLAM]]
#[[Smatch]]
#[http://www.codemonkey.org.uk/projects/bitkeeper/sparse/sparse-bk/ Sparse]
#[http://www.absint.com/stackanalyzer/ StackAnalyzer]
#[http://www.cs.utah.edu/~regehr/stacktool/ Stacktool]
#[[SPlint]]
#[http://www.coverity.com/products.html SWAT]
#[http://cs.stanford.edu/~engler The MC Checker]
==External links==
| 