[ruby-list:48903] [ANN] AdLint 1.18.6 リリース

矢野尾と申します。

AdLint 1.18.6 をリリースしました。

今回のリリースは、不具合修正のみのパッチバージョンアップとなります。

長さが省略された不完全な配列型を typedef し、その typedef 型を用いて配
列型変数を定義した時に、初期化子から配列型の長さを推論する処理で異常終
了する不具合を修正しました。

以前のバージョンをご利用の方は、是非バージョンアップをお願いします。

-----
== AdLint とは

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
              intro_demo.c [fin] |============================| 0.133s
                intro_demo [fin] |============================| 0.014s
  0.560s user, 0.020s system, 00:00:00.58 total

intro_demo.c.msg.csv に、下記のような警告メッセージを出力します。

 W,intro_demo.c, 2, 1,W0071,"useless_header.h" のインクルードは不要です。
 W,intro_demo.c,38,15,W0610,この論理演算の結果は常に偽になります。
 W,intro_demo.c,40,13,W9001,この文には制御が到達しません。
 W,intro_demo.c,45,25,W0093,ゼロになることがある値で除算しています。
 W,intro_demo.c,48,19,W0097,明らかにゼロの値で除算しています。

他の出力ファイルやコマンドの使用方法などについては、ホームページ内の利
用者ガイドをご参照ください。

== ライセンス

GPLv3+

== ホームページ

http://adlint.sourceforge.net/
-----

是非ご利用ください。

以上

--
矢野尾 裕 <[e-mail]>