Echidna
Fuzzing Tools
Echidna
Echidna is a fuzzing / property-based testing tool for Ethereum Smart Contracts.
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.
Solhint-Prettier PluginStatic Analysis Tools
Lint your files according to the Solidity plugin for Prettier, a code formatter.
EthlintStatic Analysis Tools
Ethlint (Formerly Solium) analyzes your Solidity code for style & security issues and fixes them.
AmarnaStatic Analysis Tools
Amarna is a static analysis tool and linter for the Cairo programming language.
Echidna Alternatives
Explore web3 competitors and apps like Echidna.
ImmuneBytesBlockchain Auditing Companies
ImmuneBytes is a Web3 security audit company that makes decentralized applications more secure.
+8
EthenoFuzzing Tools
Etheno is an all-in-one Ethereum security analysis and testing tool.
TaytFuzzing Tools
Tayt is a Starknet (Cairo) smart contract fuzzer in a Python box.
