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