Security analysis tool for Ethereum smart contracts - View it on GitHub