adlint

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.