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