GitHub repository: loganbek/smartbugs
Description: SmartBugs: A Framework to Analyze Solidity Smart Contracts