← All repos

echidna

Ethereum smart contract fuzzer

GitHubsecure-contracts.com/program-analysis/echidna/index.html
ethereumevmfuzzersecuritysmart-contractssoliditytesting
Browse cluster: Cosmos blockchain and smart contract languages →
1,660commits
67contributors
6languages

Tech stack & purpose

Echidna is a Haskell-based fuzzer designed for property-based testing of Ethereum smart contracts written in Solidity. It uses grammar-based fuzzing campaigns to generate test inputs tailored to contract code, checking user-defined invariants (functions prefixed with `echidna_` that return boolean values) and detecting assertion failures, integer overflows, and other vulnerabilities. The tool integrates with Slither for static analysis, supports multiple testing modes including property testing, assertion detection, and coverage-guided exploration, and is maintained by Trail of Bits as part of the Crytic security analysis platform. Echidna can be installed via Homebrew, Docker, Nix, or compiled from source using Stack or Cabal, and it supports contracts built with Foundry, Hardhat, and Truffle through the crytic-compile framework.

Community & reference links

Languages

Haskell
51.9%
Solidity
41.9%
Mustache
4.2%
Nix
1.4%
Dockerfile
0.6%
Python
0.1%

Contributors (top 30 of 67)