crytic/medusa

View on GitHub

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Stars: 486
Forks: 92
Open beginner issues: 0
Indexed issues: 45
Avg merge: 4d 6h
Merged PRs (30d): 5

Dominant language: Go
License: AGPL-3.0
Last GitHub push: Sep 9, 2026
Latest indexed: Sep 15, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: help wanted good first issue

Open All

45 open issues indexed

Support duplicate contract names Open

on hold very-low-priority

crytic/medusa#39 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
High level testing API Open

low-priority on hold

crytic/medusa#51 · 2 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Experiment with libfuzzer coverage-based feedback loop Open

on hold very-low-priority

crytic/medusa#53 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add to support for fork selection to TestChainConfig Open

very-low-priority

crytic/medusa#138 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add first party foundry support and redesign compilation package Open

help wanted on hold very-low-priority

crytic/medusa#190 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add vm.expect* and vm.assume cheatcodes Open

help wanted low-priority

crytic/medusa#206 · 0 comments · 4 reactions · 0 assignees · Indexed Sep 15, 2026
Allow Echidna & Medusa to share the same corpus Open

help wanted high-priority

crytic/medusa#234 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
tests fail with race detector enabled Open

bug high-priority

crytic/medusa#269 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Investigate 0x00/empty string serialization Open

bug good first issue help wanted high-priority

crytic/medusa#279 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Calculate and show branch coverage per file Open

planning very-low-priority

crytic/medusa#285 · 0 comments · 2 reactions · 0 assignees · Indexed Sep 15, 2026
Remove `contract XXX` statement in coverage Open

low-priority planning

crytic/medusa#286 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Consume arguments emitted from events to be used in the fuzzing test Open

crytic/medusa#311 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 15, 2026
display solidity source of current PC and bytecode if execution reverts during deployment Open

good first issue help wanted

crytic/medusa#320 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
commands to interact with corpus test results Open

high-priority

crytic/medusa#326 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Differentiate a property that did not execute and a property that ran successfully Open

crytic/medusa#328 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Fine-tune shrinking behavior Open

crytic/medusa#371 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
`vm.snapshot` cannot be called subsequently after restoring to earlier history (not persisted) Open

bug

crytic/medusa#373 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
add call sequence mutation that copies and repeats a call Open

crytic/medusa#376 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
reduce memory footprint of setting up cheatcode contract Open

low-priority

crytic/medusa#385 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`hevm.prank` does not reduce balance of the actor Open

bug help wanted high-priority

crytic/medusa#398 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
report property tests and optimization tests in coverage Open

medium-priority

crytic/medusa#416 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
write benchmark tests with go's native benchmarking Open

crytic/medusa#417 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
add support for `deployCode` Open

medium-priority

crytic/medusa#419 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 15, 2026
create "bloat" mutations that are the opposite of shrink and create artificial shrinking bechmark Open

crytic/medusa#420 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Whenever an invariant fails, Medusa should create a foundry test Open

feature-request high-priority

crytic/medusa#434 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Brainstorming: support for getMappingSlotAt, getMappingLength and getMappingKeyAndParentOf Open

crytic/medusa#440 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add sometimes assertions Open

crytic/medusa#450 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
tracking: performance optimizations Open

crytic/medusa#451 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
assertion mode: fail and save reproducer if custom error is returned Open

low-priority

crytic/medusa#460 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Optimization tests should support inputs and uint return value Open

feature-request low-priority

crytic/medusa#486 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve documentation for external library support Open

documentation

crytic/medusa#500 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add documentation for using on-chain fuzzing Open

documentation help wanted

crytic/medusa#550 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Release Checklist Open

not-an-issue

crytic/medusa#565 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add `startPrank` support for `tx.origin` and `delegateCall` Open

crytic/medusa#595 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Do a general refresh/revamp of `mdbook` Open

documentation help wanted

crytic/medusa#607 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Investigate `StateDB.GetCodeHash` for coverage tracking Open

medium-priority planning

crytic/medusa#610 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
CI tests fail nondeterministically about half the time Open

crytic/medusa#628 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Feature: generating test case from reproducer Open

crytic/medusa#651 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature]: External Control Channel for Medusa Open

crytic/medusa#740 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
fuzzing: implement remaining shrinking enhancements from echidna's implementation Open

not-an-issue on hold very-low-priority

crytic/medusa#787 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature]: Add `--prefill-corpus` option Open

feature-request high-priority

crytic/medusa#792 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add thorough documentation for agents Open

documentation help wanted high-priority not-an-issue

crytic/medusa#793 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Code quality improvements for `fuzzing/valuegeneration` Open

code-quality low-priority

crytic/medusa#809 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Standardize memory leak detection for fuzzing campaigns Open

crytic/medusa#813 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Code quality improvements for `fuzzing/` Open

code-quality low-priority

crytic/medusa#815 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

crytic/medusa

Get new issues in your inbox