GitHub repository: Karlitos88/slither
Description: Static Analyzer for Solidity