Description:
Ethereum smart contract fuzzer
|
|
Type: Formula
|
Latest Version: 2.3.0@0
|
Tracked Since: Dec 17, 2025
|
|
Links:
Homepage |
@trailofbits |
formulae.brew.sh
|
|
Category: Security
|
|
Tags:
ethereum
smart-contracts
fuzzing
security
testing
blockchain
|
|
Install:
brew install echidna
|
About:
Echidna is a property-based testing tool designed for Ethereum smart contracts. It generates random sequences of transactions to stress-test contracts against user-defined properties, effectively identifying vulnerabilities and edge cases. This proactive approach helps developers secure their contracts before deployment.
|
Key Features:
- Property-based testing framework
- Automatic test case generation
- Supports stateful fuzzing
- Integration with Slither and crytic-compile
- Customizable testing campaigns
|
Use Cases:
- Fuzzing smart contracts for security vulnerabilities
- Validating invariants in complex DeFi protocols
- Regression testing during contract development
- Continuous integration for contract security
|
Alternatives:
-
Foundry
– Foundry is a comprehensive toolkit that includes fuzzing capabilities, whereas Echidna is a specialized, standalone fuzzer.
-
Harvey
– Harvey is another Ethereum fuzzer, but Echidna is more widely adopted and integrates better with the Slither analysis ecosystem.
|
|
License: AGPL-3.0-only
|
|
Dependencies: crytic-compile, gmp, libff, secp256k1, slither-analyzer
|
|
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, sonoma, arm64_linux, x86_64_linux
|
| Detected |
Version |
Rev |
Change |
Commit |
| Dec 15, 2025 7:56pm |
|
0 |
VERSION_BUMP |
9703fff6 |
| Nov 22, 2025 11:11pm |
|
1 |
VERSION_BUMP |
9ce21238 |
| Sep 18, 2025 3:16pm |
|
1 |
VERSION_BUMP |
8b4d45f8 |
| Jan 8, 2025 9:07pm |
|
0 |
VERSION_BUMP |
dd274676 |
| Jan 8, 2025 7:58pm |
|
0 |
VERSION_BUMP |
17979954 |
| Jan 6, 2025 10:58am |
|
1 |
VERSION_BUMP |
98ba9097 |
| Jul 16, 2024 3:27pm |
|
0 |
VERSION_BUMP |
5d11e42d |
| Jul 6, 2024 10:26pm |
|
0 |
VERSION_BUMP |
e6964f4e |
| May 22, 2023 10:28am |
|
0 |
VERSION_BUMP |
feb7427c |
| May 21, 2023 7:21am |
|
0 |
VERSION_BUMP |
21996b4c |
| Apr 18, 2023 1:15pm |
|
0 |
VERSION_BUMP |
274162f3 |
| Apr 18, 2023 6:25am |
|
0 |
VERSION_BUMP |
28d34258 |
| Mar 10, 2023 11:06pm |
|
0 |
VERSION_BUMP |
344423e6 |
| Mar 10, 2023 11:06pm |
|
0 |
VERSION_BUMP |
37b50b82 |
| Jan 20, 2023 6:16pm |
|
0 |
VERSION_BUMP |
c53b232e |
| Jan 20, 2023 6:16pm |
|
0 |
VERSION_BUMP |
9bf27fa2 |
| Dec 3, 2022 3:52pm |
|
0 |
VERSION_BUMP |
e1f05e2c |
|