Débordement d'entier

Les débordements d'entier surviennent lorsqu'un calcul dépasse la valeur maximale (ou minimale) que le type peut contenir, provoquant un wraparound, un changement de signe ou une troncature. Cela devient un problème de sécurité quand la valeur erronée est ensuite utilisée comme taille de tampon, compteur de boucle, index de tableau ou contrôle d'autorisation, produisant souvent débordements de tampon, boucles infinies ou contournements de limites. Les défenses incluent l'arithmétique vérifiée (checked_add Rust, ckd_* C23, -ftrapv côté compilateur), des motifs élargir-puis-réduire avec vérifications explicites, le choix de types adaptés et le fuzzing intensif. De nombreuses CVE majeures dans les codecs image, parseurs de polices et noyaux découlent de chaînes de débordement d'entier.