Slither
Trail of Bits (Crytic)Best for Static analyzer for Solidity and Vyper
- Chains
Ethereum Any EVM chain (no specific chain named)- Price
- Free (open source)
- License
- AGPL-3.0
Trail of Bits' static analyzer for Solidity and Vyper, with built-in vulnerability detectors and code-inspection printers. Runs locally; free and AGPL-3.0. Works on any EVM codebase. A clean run doesn't mean a contract is secure.