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