Solidity / Vyper
Slither
Static analysis for Solidity and Vyper with built-in detectors and an API for custom checks.
View on GitHub
crytic/slither
Best for
Fast pre-audit triage and continuous contract scanning.
Surface
Solidity / Vyper
Catalog group
Secure smart contracts and protocol code
Repository
crytic/slither
From the README
> Slither is a Solidity & Vyper static analysis framework written in Python3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses. Slither enables developers to find vulnerabilities, enhance their code comprehension, and quickly prototype custom analyses.Read the full README on GitHub ↗
Related tools · Secure smart contracts and protocol code
- Echidna Property-based fuzzing for Ethereum smart contracts driven by contract ABI grammars.
- Medusa Parallel smart-contract fuzzing built on go-ethereum and designed for large-scale test campaigns.
- Etheno JSON-RPC multiplexer and test-integration layer for contract analysis tools.
- Tealer Static analysis for Algorand TEAL programs with CFG construction and vulnerability detectors.
- Circomspect Static analysis and linting for Circom circuits, aimed at catching risky patterns in zero-knowledge code.