TL;DR

Integer Overflow Explicado: O Bug Mais. Um número grande demais destruiu um foguete de 370 milhões de dólares. Integer overflow é o tipo de bug que parece simples mas mata sistemas em produção até hoje.

text code

ada code

O detalhe que mata

A proteção de overflow existia no código original do Ariane 4.

Foi removida em 4 variáveis por motivo de 'otimização de performance'.

Uma dessas 4 variáveis era justamente a velocidade horizontal.

Os engenheiros calcularam que o valor nunca excederia o limite — baseado nos parâmetros do Ariane 4.

c code

java code

javascript code

python code

rust code

UBSan (Undefined Behavior Sanitizer)

Parte do GCC e Clang. Compila com -fsanitize=undefined e roda os testes. Detecta signed overflow, shift inválido, null dereference e mais.

Saiba mais →

ASan (Address Sanitizer)

Detecta buffer overflow (leitura/escrita fora dos limites). Compila com -fsanitize=address. Acha bugs que causam vulnerabilidades de segurança.

Saiba mais →

clippy (Rust)

Linter do Rust que avisa sobre operações aritméticas que podem causar overflow. Roda com cargo clippy. Sugere usar checked_add, saturating_add, etc.

Saiba mais →

SpotBugs (Java)

Análise estática para Java que detecta integer overflow em cálculos, especialmente em alocação de arrays e cálculos de offset.

Saiba mais →

c code

CVE-2014-1266 (goto fail): não é overflow puro, mas a família de bugs de validação em C que o overflow habita

CVE-2021-21220 (Chrome V8): integer overflow no JIT compiler do V8 permitia execução de código via página web

CVE-2016-0728 (Linux Kernel): overflow no reference counter do keyring permitia escalação de privilégio

CVE-2019-14287 (sudo): overflow em user ID permitia rodar comando como root quando não deveria

CVE-2023-4863 (libwebp): heap overflow via imagem WebP maliciosa, afetou Chrome, Firefox, Signal e mais

Guia prático anti-overflow

Em C/C++: use safe math functions (__builtin_add_overflow, SafeInt) em vez de operadores diretos

Em Java: use Math.addExact / Math.multiplyExact pra operações que precisam ser corretas

Em JavaScript: use BigInt quando os valores podem ultrapassar Number.MAX_SAFE_INTEGER

Em qualquer linguagem: valide inputs antes de usar em cálculos — rejeite valores absurdamente grandes

Rode UBSan/ASan nos testes do CI — detectam overflow automaticamente sem mudar o código

Em cálculos de tamanho de buffer: verifique overflow ANTES do malloc, não depois

Prefira tipos maiores quando a performance aceita: use int64 em vez de int32 quando possível

Em Rust: use checked_add/saturating_add — faça a decisão explícita

Integer Overflow Explicado: O Bug Mais

TL;DR

O detalhe que mata

UBSan (Undefined Behavior Sanitizer)

ASan (Address Sanitizer)

clippy (Rust)

SpotBugs (Java)

Guia prático anti-overflow

Continue lendo

A História Não Contada do Desenvolvimento de Software

10 Bugs que Mudaram a Historia da Tecnologia

Code Review Salva Vidas: Como Revisar Codigo Critico

Coolify + N8n

Quer escrever código à prova de bugs críticos?

TL;DR

⚠O detalhe que mata

UBSan (Undefined Behavior Sanitizer)

ASan (Address Sanitizer)

clippy (Rust)

SpotBugs (Java)

Guia prático anti-overflow

Continue lendo

A História Não Contada do Desenvolvimento de Software

10 Bugs que Mudaram a Historia da Tecnologia

Code Review Salva Vidas: Como Revisar Codigo Critico

Coolify + N8n

Quer escrever código à prova de bugs críticos?

O detalhe que mata