静的コード解析AdLint - Riverside Learning LABO(Skill/Idea/Code)

AdLint 1.18.2に関するメモ

AdLint (アドリント) は、ソースコード静的解析ツールである。
AdLint は、(現時点では) ANSI C89 / ISO C90 / 一部 ISO C99 規格に準拠し
た C 言語のソースコードを解析することができる。

[特徴]
信頼性や移植性に欠けるコードをメッセージで警告可能
経路複雑度などコードの品質メトリクスを測定可能
コードの構造情報を抽出可能

[インストール]
Ruby 1.9.3-p0 以降が必要.
% gem install adlint
adlintize、adlint、adlint_sma、adlint_cma、adlint_chk コマンドが使用可能になる

[動作確認]
% cp -r `adlint --prefix`/share/demo/intro_demo .
% cd intro_demo
% adlintize
% make verbose-all
adlint -t adlint_traits.yml -o . -p 1 -v intro_demo.c
警告メッセージを出力される。

[ライセンス]
GPLv3+

[ホームページ]
http://adlint.sourceforge.net/

こういう解析ツールをうまく活用して品質の作り込みを実践する。