Integer overflow and underflow (Overflow e Underflow de inteiros)

O overflow ocorre quando uma operação aritmética excede o limite superior do tipo de dado inteiro, e o underflow ocorre quando a operação fica abaixo do limite inferior.

Exemplo:

uint8 a = 255;
a += 1; // Esto causa un desbordamiento, llevando el valor de 'a' a 0.

Mitigação:

• Usar Solidity 0.8.x ou superior, que possui controles de overflow e underflow incorporados.

• Usar bibliotecas de aritmética segura como SafeMath da OpenZeppelin para versões anteriores.

Referência:

• OpenZeppelin SafeMath