GitHub repository: talfao/slither
Description: Static Analyzer for Solidity and Vyper