Desbordamiento de Entero
Seguridad · Profundo
Una clase de vulnerabilidades aritmeticas donde una computación entera produce un resultado fuera de los limites de su representacion de ancho fijo (ej., u64::MAX + 1 se desborda a 0), llevando a balances incorrectos, transferencias manipuladas o estados corruptos. En modo release de Rust (predeterminado para programas de Solana), los desbordamientos aritmeticos no causan panic sino que se envuelven silenciosamente, haciendolos particularmente peligrosos. Prevención: siempre usar aritmetica verificada (checked_add, checked_sub, checked_mul) en lugar de operadores +, -, *.