Falhas do tipo CWE-472
140 resultadosEstouro de inteiro
Ocorre quando uma operação aritmética produz um valor que excede o intervalo máximo que o tipo inteiro pode representar, causando wraparound (volta ao negativo ou zero) ou comportamento indefinido. O resultado inesperado pode levar a alocações de memória incorretas, bypasses de validação ou corrupção de lógica crítica.
Um servidor calcula o tamanho de buffer como `tamanho_usuario + 100`. Se tamanho_usuario for próximo ao máximo de um inteiro de 32 bits, a soma estoura e vira um número pequeno (ou negativo), provocando alocação de buffer mínimo. O código então escreve dados além do espaço reservado, causando heap overflow.
Valide entradas numéricas contra limites realistas antes de operações aritméticas; use tipos de dados com maior capacidade (64 bits) quando apropriado; implemente verificações de estouro explícitas (ex: `if (a > INT_MAX - b)`) ou prefira linguagens com checagem automática de inteiros (Rust, alguns compiladores C modernos com flags de segurança).