Ethereum contracts
Echidna
Property-based fuzzer that throws grammar-driven inputs at Ethereum contracts to falsify your invariants.
View on GitHub
crytic/echidna
Best for
Proving a contract holds its invariants before mainnet.
Surface
Ethereum contracts
Catalog group
Secure smart contracts and protocol code
Repository
crytic/echidna
From the README
Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions.Read the full README on GitHub ↗
Related tools · Secure smart contracts and protocol code
- Slither Static analysis for Solidity and Vyper with built-in detectors and an API for custom checks.
- 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.
