Integer Underflow
Un sous-dépassement d'entier survient quand un résultat de soustraction non signée passe sous 0 et boucle vers un grand nombre positif, pouvant causer des allocations ou index inattendument énormes.
Objectif
Analyser les comportements inattendus et vulnérabilités causés par le sous-dépassement de soustraction non signée.
Mécanisme
Si une soustraction non signée produit une valeur négative, elle boucle vers 2^n − |résultat|, ex. 0u − 1 = UINT_MAX. Utilisée dans des calculs de longueur, cela peut causer d'énormes allocations ou des tampons hors bornes.
Cas d’usage
- Sécurité de l'arithmétique non signée
- Audit de calculs de longueur
- Contrôle de bornes