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