Dev:Doc/Tools/Debugging/Code Review

C++ Code Inspection Guidelines (most are good for C too) http://www2.ics.hawaii.edu/~johnson/FTR/Bib/Baldwin92.html

C code inspection checklist (not too useful, too general) http://www.swqual.com/training/Code1.pdf

Another C inspection checklist http://www.ipd.uka.de/mitarbeiter/padberg/clausthal/swt/JPLchecklistC.pdf

Another useful C inspection checklist http://elearning.tvm.tcs.co.in/Rwi/Rwi/C-%20code%20inspection%20check%20list.pdf

Survey of what software inspection checklists typically contain http://mentalmodels.mitre.org/cog_eng/reference_documents/a%20survey%20of%20software%20inspection%20checklists.pdf

http://www.stanford.edu/~engler/

(need to get the cache version) http://www.spinroot.com/static/

Nice overview of the various bug detection software http://www.cs.hmc.edu/courses/2005/spring/cs121/slides/slides17.pdf

Large listing of tools http://samate.nist.gov/index.php/Tools

Opensource Quality http://osq.cs.berkeley.edu/

flawfinder http://www.dwheeler.com/flawfinder/