Static Analysis Tools for C

From coder@slug

coverity - commercial

flexelint - commercial

sparse http://www.kernel.org/pub/software/devel/sparse/

splint http://www.splint.org/

CIL http://hal.cs.berkeley.edu/cil/ http://sourceforge.net/projects/cil http://et.redhat.com/~rjones/cil-analysis-of-libvirt/

sloccount - lines of code analysis only