ScopeBots
Menu

Tools by job

Infrastructure & RPCSmart contracts & SDKsAI agentsSecurity & auditingWallets & identityData & oraclesGaming & metaverseChain compatibility

By chain

All chains

All tools / Security & auditing

Echidna

Property-based fuzzer for EVM contracts.

Echidna

Trail of Bits (Crytic)

Best for Property-based fuzzer for EVM contracts

Chains
Ethereum Any EVM chain (no specific chain named)
Price
Free (open source)
License
AGPL-3.0

Trail of Bits' property-based fuzzer that tries to break the invariants you write for your EVM contracts. Runs locally; free and AGPL-3.0. Works on any EVM codebase.

Visit Echidna Checked Oct 15, 2026 against this source

Chain support, with sources

We only add a chain when the maker's own docs name it. "EVM-compatible" alone counts for no specific chain. This is what the docs say, not a test or security review.

Docs: secure-contracts.com/program-analysis/echidna/index.html

More in Security & auditing

Are you the maker of Echidna?

Add this badge to your site to show Echidna is featured on ScopeBots. It links to this page. Added a chain or spotted something out of date? Email hello@scopebots.ai with a link to your docs.

Featured on ScopeBots

Know when chain support changes

One short email when we add tools or a tool adds, drops or deprecates a chain. Nothing new, no email. Unsubscribe anytime.