AdLint

AdLint is an open source and free source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It can extract code structure information, have the Abstract Interpreter which can evaluate all execution paths, can output the result into text files whose format are quite open, and enhancing free open source software.