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