One common metric in static analysis is ''[[McCabes Cyclomatic Complexity Metric]]'' which measures the number of choices a function makes. Functions with a high number of conditional statements (if's, while etc.) will have a high [[complexity]]. Such functions therefore can be considered more likely to contain [[bug]]s and be harder to maintain.
===See alsoTools===
* #[[AntiC]]
* #[[BLAST]]
* #[[BOON]]
* #[[Broadway]]
* #[[Checkstyle]]
* #[[Cqual]]
* #[[FindBugs]]
* #[[Flawfinder]]
* #[[introspector (program)|GCC Introspector]]
* #[[JDepend]]
* #[[Jlint]]
* #[[MOPS]]
* #[[OpenCxx|OpenC++]]
* #[[PMD]]
* #[[PREfast]], [[PREfix]]
* #[[SLAM]]
* #[[Smatch]]
* #[[SPlint]]
===See also===
* [[Software analysis]]
*[[Software testinganalysis]]
*[[Source codeSoftware scannertesting]]
*[[CodeSource code beautifierscanner]]
*[[Code beautifier]]
*[[Crash-only software]]
*[[Graceful degradation]]
==External links==
*[http://yunus.hun.edu.tr/~sencer/research.html information of software management]
*[http://citeseer.org/cs?q=static+and+code+and+analysis Citations from CiteSeer]
*[http://www.astree.ens.fr/ ASTRÉE project], with explanations on [[static analysis]] by [[abstract interpretation]]
