Integer Underflow
Ein Integer-Underflow tritt auf, wenn ein Ergebnis einer vorzeichenlosen Subtraktion unter 0 fällt und auf eine große positive Zahl umbricht — kann zu unerwartet riesigen Allokationen oder Indizes führen.
Zweck
Das unerwartete Verhalten und die Sicherheitslücken analysieren, die durch vorzeichenlose Subtraktions-Underflows entstehen.
Mechanismus
Liefert eine vorzeichenlose Subtraktion einen negativen Wert, bricht sie auf 2^n − |Ergebnis| um, z. B. 0u − 1 = UINT_MAX. In Längenberechnungen kann das riesige Allokationen oder Out-of-Bounds-Buffer verursachen.
Anwendungsfälle
- Sicherheit vorzeichenloser Arithmetik
- Längenberechnungs-Audit
- Bounds-Checking