GitHub repository: smartcontract-detect-yzu/slither
Primary language: Python
Description: Static Analyzer for Solidity