Definitions, examples, and audit checks for Solidity, EVM, and DeFi security terms.
Slither is a static analysis framework for Solidity and Vyper that detects known bug patterns and summarizes contract structure.