Echidna

software

★★★★★4.2(367 reviews)

About

Haskell-based smart contract fuzzer by Trail of Bits that detects vulnerabilities in Solidity and Vyper contracts through property-based testing.

Overview

Echidna is an open-source smart contract fuzzer maintained by Trail of Bits that applies property-based and coverage-guided fuzzing to Solidity and Vyper contracts. It is aimed at security researchers and developers performing formal audits or pre-deployment security checks on EVM-based contracts. Its ability to automatically discover edge-case vulnerabilities through corpus-guided mutation is widely praised; the main drawback is that writing meaningful Echidna properties requires solid Solidity expertise.

smart-contracts fuzzing security ethereum solidity

Pros

+Highly effective at finding deep logic bugs missed by unit tests
+Well-maintained by Trail of Bits with extensive real-world use
+Supports multiple frameworks and testing modes

Cons

-Requires property writing skill
-Haskell dependency

Visit website

This may be an affiliate link — the creator and GuruStacks may earn a commission, at no extra cost to you. Learn more

Details

Founded2019

Typesoftware

Pricing

Model

open source

Platforms

maclinuxwindows

Community

Creator reviews

No creator reviews yet

Community

Listed in Stacks

Blockchain Developer

Essential tools for blockchain and smart contract developers — from IDEs and testing frameworks to deployment pipelines, security auditing, and on-chain data infrastructure.

by Gurustacks0

Similar tools

View alternatives →

Remix IDE

4.2

idesolidityethereum

Browser-based IDE for writing, compiling, deploying, and debugging Solidity smart contracts

Slither

4.2

securitystatic-analysissolidity

Static analysis framework for Solidity smart contracts detecting vulnerabilities and code quality issues

Solidity

4.2

languagesoliditysmart-contracts

Object-oriented programming language for writing smart contracts on Ethereum and EVM-compatible chains

Blockscout

4.6

blockchain-explorerethereumsmart-contracts

Open-source multichain block explorer for EVM-based networks, supporting transaction tracking, contract verification, and token analysis across 1000+ chains.

MythX

4.2

securityanalysissmart-contracts

Smart contract security analysis service combining static analysis, symbolic execution, and fuzzing

Certora

4.2

formal-verificationsecuritymathematical-proofs

Formal verification platform for mathematically proving smart contract correctness and safety properties

Is this your tool? Claim this listing