The transfer and transferFrom functions of a smart contract implementation for Easy Trading Token (ETT), an Ethereum token, have an integer overflow. NOTE: this has been disputed by a third party.Referenceshttps://github.com/safecomet/EtherTokens/tree/master/Easy%20Trading%20Token%20%28ETT%29https://github.com/soohoio/VeriSmartBench/wiki/CVE-False-Reported-Case
