[ruby-list:48816] [ANN] AdLint 1.14.0 リリース

矢野尾と申します。

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

今回のリリースでは、浮動小数点数型の演算結果を演算後に、より精度が高い
浮動小数点数型へキャストする問題を指摘するなど、9 種類の警告を追加しま
した。
また、その他多くの不具合修正が含まれます。

バージョン 1.12.0 からの主な変更点は、下記のページでご確認ください。
http://adlint.sourceforge.net/pmwiki/pmwiki.php?n=Main.News

-----
== 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]>