An Analysis Tool for Smart Contracts - View it on GitHub