Smart Contract Security Glossary

Invariant Testing

Invariant testing is a smart contract testing methodology that verifies properties (invariants) that must always hold tr...

Fuzzing is an automated testing technique that feeds random, unexpected, or malformed inputs to a program to discover bu...

Echidna is a Haskell-based smart contract fuzzer for Ethereum that uses property-based testing to find violations of use...

Medusa is a Go-based smart contract fuzzer that uses parallel execution and coverage-guided fuzzing to find invariant vi...

Halmos is a symbolic execution tool for EVM smart contracts that mathematically proves whether properties hold for all p...

Property-based testing is a software testing methodology where developers define general properties that should always h...

A smart contract audit is a systematic security review of blockchain smart contract code to identify vulnerabilities, lo...

Formal verification is the use of mathematical methods to prove that a smart contract's behavior conforms to its specifi...

Chimera is Recon's open-source framework for writing invariant tests that are simultaneously compatible with Echidna, Me...

Stateful fuzzing is a fuzzing technique that maintains contract state across a sequence of function calls, testing how t...

Mutation testing evaluates test suite quality by introducing small code changes (mutations) and checking whether existin...

Coverage-guided fuzzing is a technique where the fuzzer tracks which code paths are executed and prioritizes inputs that...

Symbolic execution analyzes smart contracts by treating inputs as mathematical symbols rather than concrete values, expl...

Fuzz testing (fuzzing) is the automated process of providing random, semi-random, or mutated inputs to software in order...

Smart contract security encompasses the practices, tools, and methodologies used to identify and prevent vulnerabilities...