Overflow de inteiros

Os overflows de inteiros ocorrem quando os cálculos excedem o valor máximo (ou mínimo) do tipo, originando wraparound, troca de sinal ou truncamento. Tornam-se problemas de segurança quando o valor errado é depois usado como tamanho de buffer, contador de ciclo, índice de array ou verificação de autorização, gerando frequentemente buffer overflows, ciclos infinitos ou contornos de limites. As defesas incluem aritmética verificada (checked_add do Rust, ckd_* do C23, -ftrapv no compilador), padrões de alargar-e-restringir com verificações explícitas, escolha de tipos adequados e fuzzing intensivo. Muitas CVEs de elevado impacto em codecs de imagem, parsers de fontes e kernels resultam de cadeias de overflow de inteiros.