Saltar al contenido
uencoder

Integer Underflow

Un subdesbordamiento de enteros ocurre cuando un resultado de resta sin signo baja de 0 y da la vuelta a un número positivo grande, pudiendo causar asignaciones o índices inesperadamente enormes.

Propósito

Analizar el comportamiento inesperado y las vulnerabilidades de seguridad causadas por el subdesbordamiento de resta sin signo.

Mecanismo

Si una resta sin signo produce un valor negativo, da la vuelta a 2^n − |resultado|, p. ej., 0u − 1 = UINT_MAX. Usado en cálculos de longitud, puede causar asignaciones enormes o búferes fuera de rango.

Casos de uso

  • Seguridad de aritmética sin signo
  • Auditoría de cálculos de longitud
  • Comprobación de límites

Herramientas relacionadas

References