Echidna

Open Source

Property-based fuzzer for Ethereum smart contracts. Uses grammar-based fuzzing campaigns to find violations of security properties.

About

Echidna is a Haskell program designed for fuzzing Ethereum smart contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. Echidna is designed to be fast, with optional corpus collection and coverage guidance to find deeper bugs.

Categories

Fuzzers Testing

Chains

ethereum polygon arbitrum optimism base

Install

brew install echidna

Related Tools

Slither

Pairs with Echidna

Foundry Fuzz

Alternative to Echidna

Medusa

Pairs with Echidna

Quick Info

Pricing
free
Open Source
Yes
Last Updated
2026-04-01

Links

Website GitHub Documentation