An analysis tool to detect integer bugs in Ethereum smart contracts.