[2014-05-10] AdLint 3.2.14 is released
Online evaluation service "AdLint PAD" is closed
AdLint is an open source and free source code static analyzer.
It can point out unreliable or nonportable code fragments, and can measure various quality metrics of the source code.
For part of use cases, see screenshots.
It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99.
AdLint is written in Ruby. So, it is available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby.
Features (click to expand)
AdLint can warn about the possibility of bugs by human-readable messages.
AdLint 3.2.14 supports 720 kinds of warning messages.
For more details, see 6 Message list of the User's Guide.
AdLint can measure quality metrics of the source code. (e.g. Cyclomatic complexity of the function, The number of estimated execution paths per function, The number of useless variables)
AdLint 3.2.14 supports 15 kinds of quality metrics.
For more details, see 7 Metrics list of the User's Guide.
AdLint can extract the summary information of source code structures. (e.g. Module dependency of function-calls and variable-accesses, Definition of variables and functions)
AdLint 3.2.14 supports 14 kinds of code structure extractions.
For more details, see 8 Code structure list of the User's Guide.
By the Abstract Interpreter, AdLint can automate code checking which is similar to a code-review by developers.
The Abstract Interpreter of AdLint can evaluate all possible execution paths except for deadcodes at a time.
AdLint can output the analysis result into ordinary text files. And the format specification is quite open.
So, you can develop your own tools which inputs the analysis result of AdLint.
For more details, please refer to 5 Output specification of the User's Guide.
And you can integrate AdLint into various development tools and CI(Continuous Integration) tools because the command interface of the AdLint analyzers are similar to standard build tools.
AdLint will be enhanced by your feedbacks and contributions.
Copyright © 2010-2014, OGIS-RI Co.,Ltd.
AdLint is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
AdLint is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with AdLint. If not, see <http://www.gnu.org/licenses/>.