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