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