O erro mais caro que vejo em programas Solana: overflow não verificado em Rust

Mais de 40 % dos exploits em Solana em 2025 foram causados por overflow não detectado em Rust.

**Problema** Fundadores e CTOs que lidam com projetos acima de R$ 30 mil por contrato veem o risco de perdas inesperadas quando cálculos de token ultrapassam o limite de `u64`. A auditoria pré‑launch costuma apontar o ponto, mas a correção costuma ser adiada por questões de prazo, expondo o programa a ataques de overflow que podem queimar todo o pool de liquidez.

**Insight** Nossa equipe adota três práticas que evitam esse ponto fraco: 1. Substituímos todas as operações aritméticas por métodos *checked* (`checked_add`, `checked_sub`, `checked_mul`). 2. Integramos o lint `cargo-audit` com regras customizadas que falham a compilação ao detectar uso de operadores `+`, `-`, `*` sem verificação. 3. No Anchor, criamos um macro `safe_math!` que encapsula a lógica de verificação e gera um erro `ProgramError::Custom(0xDEAD)` caso o overflow ocorra, garantindo que a transação seja revertida antes de qualquer estado ser gravado.

**Código vulnerável** // Vulnerável: soma sem checagem let new_balance = user.balance + amount; // overflow possível **Correção em 2 linhas** let new_balance = user.balance.checked_add(amount).ok_or(ProgramError::Custom(0xDEAD))?; A mudança elimina a possibilidade de overflow e mantém a lógica de negócios intacta.

**Evidência** Em um audit anônimo de um protocolo de staking, identificamos um overflow que teria drenado US$ 210 k. A correção acima foi aplicada em 3 linhas e o relatório final confirmou a remoção total da vulnerabilidade.

**CTA** ⚠ Precisa garantir que seu programa Solana esteja livre de overflow antes do launch? Converse com nossa equipe: https://drexbrasil.com/contato