echidna ☆
« Back to VersTracker
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
Version History
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
« Back to VersTracker  |  Browse Packages  |  About