A symbolic execution engine for EVM smart contract binaries - View it on GitHub