Smart Contract Security Glossary
Definitions, examples, and audit checks for Solidity, EVM, and DeFi security terms.
Browse by topic.
All glossary terms.
Audit Tools
9Slither
Slither is a static analysis framework for Solidity and Vyper that detects known bug patterns and summarizes contract structure.
Foundry
Foundry is a Solidity development and testing toolkit with Forge for tests, Cast for RPC calls, Anvil for local chains, and Chisel for a Solidity REPL.
Mythril
Mythril is a symbolic execution analyzer for EVM bytecode and Solidity contracts that can find security-relevant execution paths.
Static Analysis
Static analysis reviews source code or bytecode without executing it to find known bug patterns, risky APIs, and structural issues.
Symbolic Execution
Symbolic execution is a program-analysis technique that explores code paths using symbolic inputs instead of one fixed concrete input.
Smart Contract Vulnerability Scanner
A smart contract vulnerability scanner is a tool that checks contracts for known vulnerability patterns using static analysis, symbolic execution, or other automated techniques.
Smart Contract Vulnerability Detection
Smart contract vulnerability detection is the process of finding exploitable weaknesses in code, protocol design, tests, deployment settings, or integrations.
Slither Detector
A Slither detector is a rule that identifies a specific Solidity or Vyper code pattern, vulnerability class, or audit concern.
Forge Test
A Forge test is a Solidity test written and run with Foundry's forge test framework.