A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018). - View it on GitHub