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