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.
What's new in version 3.0.10
Version 3.0.10 has fixed bypassing inner-variable's value mutation in order to correctly propagate mutation to the outer-variable.
ReleaseJuly 1, 2013
Date AddedJuly 2, 2013
Operating SystemsWindows 2000, Windows Vista, Windows, Windows 7, Windows XP