medusa
« Back to VersTracker
Description:
Solidity smart contract fuzzer powered by go-ethereum
Type: Formula  |  Latest Version: 1.4.1@0  |  Tracked Since: Dec 2, 2025
Links: Homepage  |  @medusa_fuzz  |  formulae.brew.sh
Category: Security
Tags: solidity fuzzing ethereum security smart-contracts testing
Install: brew install medusa
About:
Medusa is a Solidity smart contract fuzzer that leverages the go-ethereum (geth) execution engine to perform property-based testing. It automatically generates complex transaction sequences to uncover vulnerabilities like reentrancy, integer overflows, and assertion violations. This tool helps developers secure their Ethereum smart contracts by providing advanced fuzzing capabilities integrated directly into the development workflow.
Key Features:
  • Property-based testing with configurable assertion rules
  • Integration with go-ethereum for accurate EVM execution
  • Automatic corpus generation and mutation strategies
  • Support for complex multi-contract scenarios
  • Extensible campaign configuration
Use Cases:
  • Security auditing of Ethereum smart contracts before deployment
  • Continuous integration testing for DeFi protocols
  • Discovering edge cases in contract logic that unit tests miss
Alternatives:
  • Echidna – Echidna is another popular Solidity fuzzer written in Haskell, while Medusa uses Go and integrates directly with geth for EVM compatibility
  • Foundry Forge – Forge includes fuzzing capabilities but Medusa focuses specifically on advanced property-based fuzzing with stateful analysis
Version History
Detected Version Rev Change Commit
Dec 2, 2025 5:24pm 0 VERSION_BUMP 2f5bf997
Dec 1, 2025 11:16pm 0 VERSION_BUMP a91aaab7
Nov 22, 2025 11:09pm 0 VERSION_BUMP c25fed66
Sep 16, 2025 2:08am 0 VERSION_BUMP beef365a
Sep 14, 2024 2:50am 0 VERSION_BUMP 1fd413de