Solidity Bad Practices: Ether Balance Check

Uma função compara o saldo do contrato com um valor Ether específico.

Presumir que o contrato tenha um saldo específico de Ether pode levar a um comportamento errôneo ou inesperado porque o saldo de um contrato pode ser alterado à força, por exemplo, enviando Ether para o contrato.

Exemplo 1: O código a seguir usa um assert para verificar se o saldo da instância de contrato Lock é um valor específico (msg.value).

contract Lock {
    constructor (address owner, uint256 unlockTime) public payable {
        ...
    }
}

contract Lockdrop {
    ...
    function lock(...) {
        uint256 eth = msg.value;
        address owner = msg.sender;
        uint256 unlockTime = unlockTimeForTerm(term);

        Lock lockAddr = (new Lock).value(eth)(owner, unlockTime);

        assert(address(lockAddr).balance == msg.value);
    }
}