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