Symbolic execution tool and vulnerability scanner for the Ethereum Virtual Machine - View it on GitHub