Clint is a testbed for static source-code checking techniques. It is
currently designed to check C++ for common programmer errors and suggest
improvements.

WWW: http://sourceforge.net/projects/clint/