DBZ.GENERAL

割り当てられたゼロの定数値がゼロ除算で使用されている可能性があります

ゼロを除数として除算やモジュロ演算に使用しようとすると、ランタイムエラーが発生します。ゼロによる除算の欠陥は、効果的でないエラー処理または競合状態のためにしばしば起こります。通常、プログラム終了の異常が発生します。値が C/C++ コードにおいて除算またはモジュロ演算の除数として使用される前に、ゼロに等しくないことを確認するためにチェックする必要があります。

DBZ チェッカーは、除算やモジュロ演算の除数としてゼロが使用されているインスタンスを検索します。

DBZ.GENERAL チェッカーは、ゼロ定数値をローカルで割り当てられた、または関数呼び出しの結果として、変数が明示的に使用されるか、除算やモジュロ演算の除数としてこれを使用する可能性がある関数に渡される状況にフラグを立てます。

脆弱性とリスク

通常、整数のゼロによる除算は、プロセスの失敗や例外を引き起こします。また、演算は成功するかもしれませんが、結果に誤りとなります。浮動小数のゼロでの除算は、より分かりにくくなります。これは、コンパイラの実装に依存しています。コンパイラが IEEE 浮動小数点標準規格 (IEEE 754) に従う場合、浮動小数をゼロで除算した結果は明確なものとなります。しかし、C および C++ 標準規格は IEEE 754 規格への準拠を強制しません。従って、浮動小数のゼロでの除算の結果は、C および C++ では明確ではなく、従って、プロセスが失敗したり例外が発生したりする可能性があります。

ゼロによる除算の指摘は通常、効果的でない例外処理が原因で発生します。この脆弱性を回避するために、これを除算やモジュロ演算の除数として使用する前に、ゼロ値がないかを確認してください。

脆弱コード例

コピー
  int compute_mean(int array[], size_t size)
  {
      int sum = 0;
      for (size_t i = 0; i < size; ++i) {
          sum += array[i];
      }
      return sum / size;
  }
  
  void use_mean()
  {
      int size = 0;
      int mean = compute_mean(0, size);
  }

Klocwork は 13 行目で指摘レポートを生成し、変数 'size' の値が 'compute_mean' 呼び出し時に 0 であり、7 行目の除算の除数としてこの関数で使用されていることを示します。ゼロで除算することにより、予期しない結果や意図しない結果となる可能性があります。

修正コード例

コピー
 int compute_mean(int array[], size_t size)
  {
      if (size == 0) {
          return 0; // or exceptional case.
      }

      int sum = 0;
      for (size_t i = 0; i < size; ++i) {
          sum += array[i];
     }
     return sum / size;
  }
 
  void use_mean()
  {
      int size = 0;
      int mean = compute_mean(0, size);
  }

前のスニペットからの問題が修正されました:これにより、入力変数 'size' が 3 行目にゼロ定数値の例外ケースがないかをチェックし、この特定ケースで除算が行われないようにします。

関連チェッカー

セキュリティトレーニング

Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。

拡張機能

このチェッカーは、Klocwork knowledge base (ナレッジベース) を利用して拡張できます。詳細については、C/C++ 解析のチューニングを参照してください。

制限事項

このチェッカーは、現在の解析関数の範囲外にあるゼロに割り当てられたグローバル変数では動作しません。つまり、グローバル変数の関連する欠陥はこのチェッカーでは検出されない可能性があります。例:
コピー
  static int myzero = 0;
 
  int do_dbz()
  {
     return 23 / myzero;
  }
このチェッカーはゼロと評価する抽象的 (象徴的) 表現では動作しません。つまり、この種の理由の関連する欠陥はこのチェッカーでは検出されない可能性があります。例:
コピー
  void do_dbz_func(int x, int y)
  {
     int z = 23;
     z /= x - y;    // Here, x == y will give 0 for x - y.Divide by zero will not detected.
  }

  void do_dbz(int x)
  {   
     do_dbz_func(x, x);   // Divide by zero will happen here since x - x = 0.Not detected by this checker.
 }