2012年6月20日

[ruby-list:48798] [ANN] AdLint 1.12.0 リリース

矢野尾と申します。

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

今回のリリースでは、論理演算式中に算術演算式が含まれる問題を指摘するな
ど、5 種類の警告を追加しました。
また、その他多くの不具合修正が含まれます。

バージョン 1.10.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/
-----

是非ご利用ください。

以上

--
矢野尾 裕 <yanoh@xxxxx>

投稿者 xml-rpc : 2012年6月20日 22:03
役に立ちました?:
過去のフィードバック 平均:(0) 総合:(0) 投票回数:(0)
本記事へのTrackback: http://hoop.euqset.org/blog/mt-tb2006.cgi/111020
トラックバック
コメント
コメントする




画像の中に見える文字を入力してください。