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