Echidna is a fuzzing / property-based testing tool for Ethereum Smart Contracts.
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.
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.