What is Echidna?
Echidna is a next-generation Ethereum smart contract fuzzer built the by security solutions company - Trail of Bits. As an evaluation tool, Echidna is known for its unique ‘property-based fuzzing’ which tries to falsify user-defined invariants (properties) instead of looking for crashes like a traditional fuzzer. Echidna comes with a multitude of tools to write custom analyses for complex contracts. Targeted toward EVM bytecode, Echidna uses cryptic compile to test contracts.
Web3 dapps and developer tools related to Echidna
Discover blockchain applications that are frequently used with Echidna.
SmartMuvStatic Analysis Tools
A platform for Solidity smart contract state analysis, storage extraction, and activity exploration.
AuditBaseStatic Analysis Tools
Solidity static analysis tool and vulnerability reporting for Solidity smart contracts.
+1
RattleStatic Analysis Tools
Rattle is a EVM static analysis framework designed to work on deployed smart contracts.
Resources and Guides about Fuzzing Tools
Echidna Alternatives
Explore web3 competitors and apps like Echidna.
fuzzlibFuzzing Tools
A general purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing.
TridentFuzzing Tools
Solana Fuzzing Framework built by Ackee Blockchain Security.
ArachneFuzzing Tools
Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
