AdLint is a source code static analyzer. It can point out unreliable or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99.
An all in one installer of AdLint Goodies
An ad-hoc filtering wrapper for AdLint to suppress useless warning messages.
Simple benchmark of AdLint
Experimental C language code examination package for AdLint