AdLint was designed as an open source and accessible source code static analyzer.
AdLint 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. AdLint is written in Ruby and can run on all the platforms supported by Ruby.
What's New in This Release:
· Fix abend problem of preprocessor when a block comment is not terminated in the translation-unit.
· Fix block comment handling in order not to dive into nested part when a single slash character appears before the comment terminator.
· Fix infinite-loop problem of preprocessor when the #include directive appears with undefined macro.
· Fix bad expression-constancy check in order to treat an expression derives an address-constant as a constant-expression.
· Fix bad variable defining behavior in order to correctly evaluate sizeof-expression that refers defining variable in the initializer.
· Revise specification of W0642 code check in order to warn about all the illegal address derivation from the object declared as `register'.
· Fix abend problem in parsing unnamed bit-field declaration.
· Fix W0786 code check in order not to warn when a typedefed type which is same as signed or unsigned int is specified as a base of the bit-field.
· Fix incomplete object cross-reference extraction in order to record...