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