Echidna
Smart contract fuzzer for Ethereum
What is Echidna?
Echidna is a Haskell-based smart contract fuzzer designed for Ethereum. It uses property-based testing to find vulnerabilities by generating random inputs and checking invariants in Solidity contracts.
Supported chains
Ethereum
Key Features
Property-based fuzzing for Solidity
Coverage-guided test generation
Corpus collection and replay
Integration with Slither for guided fuzzing
Tools related to Echidna
Discover tools that are frequently used with Echidna
Best Smart Contract Auditing Tools
Find the best smart contract auditing and security analysis tools for detecting vulnerabilities in Solidity code.
View all 13 tools