Integer Underflow

整数アンダーフロー（Integer Underflow）は、符号なし減算の結果が 0 を下回り、大きな正の数に折り返す現象である。予想外に巨大な確保やインデックスを招きうる。

目的

符号なし減算のアンダーフローが引き起こす予想外の動作とセキュリティ脆弱性を分析する。

メカニズム

符号なし減算が負の値を生むと 2^n − |結果| に折り返る。例：0u − 1 = UINT_MAX。長さ計算に使われると、巨大な確保や範囲外バッファを引き起こしうる。

ユースケース

符号なし演算（アンサインド）の安全性
長さ計算のオーディット
境界チェック

関連ツール

ハッシュ計算ツール

Compute MD5, SHA-1, SHA-256, or SHA-512 hashes with hex or Base64 output。無料、プライベート、100%クライアントサイド。

正規表現テスター

Test regular expressions with match highlighting, capture groups, and replace preview。無料、プライベート、100%クライアントサイド。

References