[adlint-user-ja:82] [ANN] AdLint 3.2.0 リリース

[Yutaka Y. <ya...@us...>]

矢野尾です。

本日、AdLint 3.2.0 をリリースいたしました。

今回のリリースでは、新しく「コンテキストトレース機能」を追加しました。
ご報告いただいている不具合の対応は、次回のリリースに盛り込む予定です。


以前のバージョンでは、ゼロ除算などのランタイムエラーの可能性を指摘する
警告は、「ここでゼロ除算の可能性があります」という結論の部分しか出力し
ていませんでした。

コンテキストトレース機能により、現状通りの警告メッセージに続いて、どの
ような文脈で指摘した状況が起こり得るかを、コンテキストメッセージによっ
て補足できるようになりました。

下記は、コンテキストメッセージの出力例です。

   1: int foo(int i)
   2: {
   3:     int j = 0;
   4:
   5:     if (i < 0) {
   6:         j = -i;
   7:     }
   8:     else if (i > 0) {
   9:         j = i;
  10:     }
  11:
  12:     return 5 / j; /* W0093 ゼロ除算するかも */
  13: }

  a.c:12:14:warning:W0093:ゼロになることがある値で除算しています。
  :::context:C1000:次の実行パスで警告を検知しました。
  a.c:3:9:context:C1006:ここで該当変数に値を割り当てました。
  a.c:5:11:context:C1002:この制御式を偽として評価しました。
  a.c:8:16:context:C1002:この制御式を偽として評価しました。


コンテキストトレース機能は、まだ実験的な機能という位置づけですが、是非
ご利用いただいて、問題がありましたらご報告いただけると助かります。

以上、今後ともよろしくお願いいたします。

--
矢野尾 裕 <ya...@us...>