Insecure Compiler Optimization: Pointer Arithmetic

配列の境界チェックが、最適化によって誤って削除される可能性があります。

配列チェックにおいて、不正なポインターの計算およびそのポインターが境界外にあるかどうかの判断が実行される場合、一部のコンパイラでは「プログラマが意図的に不正なポインターを作成することは決してない」という前提のもとに、このチェックが最適化によって削除されます。

例 1:

  char *buf;
  int len;
  ...
  len = 1<<30;

  if (buf+len < buf)  //wrap check
    [handle overflow]

buf + len という操作は 2^32 よりも大きいため、結果の値は buf よりも小さくなります。しかし、ポインタ上の算術オーバーフローは未定義の動作であるため、一部のコンパイラでは buf + len >= buf だと判断され、ラップ チェックが最適化で削除されます。そのような最適化が実行された結果、このブロックの後に続くコードが Buffer Overflow に対して脆弱にある可能性があります。