GitHub repository: zm-stack/Slither
Primary language: Python
Description: Static Analyzer for Solidity and Vyper