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.
Improve Web3 Security with Alchemy's Simulation APIs
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.