smartbugs's tracked open-source repos, sorted by stars.
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
