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