Binary package “adlint” in ubuntu trusty

open source and free source code static analyzer

 AdLint is a source code static analyzer. It can point out insecure 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.