The transfer and transferFrom functions of a smart contract implementation for ChuCunLingAIGO (CCLAG), an Ethereum token, have an integer overflow. NOTE: this has been disputed by a third party.
https://github.com/soohoio/VeriSmartBench/wiki/CVE-False-Reported-Case