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