SmartBugs: A Framework to Analyze Solidity Smart Contracts - View it on GitHub