crytic / medusa

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

https://www.trailofbits.com/

crytic/medusa Issues

Feature Request: Support Initial ETH balance
Updated 5 months ago
Save coverage throughout execution
Updated 5 months ago
Investigate 0x00/empty string serialization
Updated 5 months ago1
Failed to compile target: unable to parse init bytecode for contract '...'
Closed 5 months ago3
Add function calls success rate to metric information
Updated 5 months ago
Pointers for coverage guidance
Updated 5 months ago
In planning: Improve call sequence shrinking
Updated 5 months ago2
Allow Echidna & Medusa to share the same corpus
Updated 6 months ago2
tests fail with race detector enabled
Updated 6 months ago
Consider removing interfaces from coverage report
Updated 6 months ago
Sunset of Truffle and Ganache
Updated 6 months ago
Unable to run Medusa due crytic-compile error, corrupted lockfile due to NPM bug
Updated 7 months ago5
Timestamp and block number start very low
Closed 7 months ago3
Debugging "contract deployment tx returned a failed status: execution reverted module=fuzzer"
Updated 7 months ago10
Add support for `snapshot` and `revertTo` cheatcodes
Updated 7 months ago
Feature request: Open all non-zero coverage reports by default
Closed 7 months ago3
Potentially set `StopOnFailedContractMatching` to `false` by default
Closed 7 months ago1
Setting `testAllContracts` not working properly
Closed 7 months ago4
Create capability to _call_ dynamically deployed contracts but not _test_ them
Updated 7 months ago
Fuzzing stops after a while for some unknown reason
Updated 7 months ago4
Feature Request: add `filterFunctions` capability
Updated 7 months ago
feat: make deployment order optional
Closed 8 months ago2
Crash after medusa run some time
Updated 8 months ago9
Medusa is killed with OOM after 4h of fuzzing
Updated 8 months ago2
Support `NoColor` and `--no-color` for terminal output
Closed 9 months ago4
Medusa fails to break property after 10min while Echidna can break it in 1min
Updated 9 months ago5
bug: panic: index out of range
Updated 9 months ago
bug: medusa silently fails when provided a CLI flag that is not valid
Updated 9 months ago
Display instructions covered
Updated 9 months ago
`targetContracts` does not work as expected
Closed 9 months ago2
Medusa crash when deploying contract inside target contract constructor
Closed 9 months ago5
Code quality/project standards alignment
Updated 9 months ago
Medusa prints color escapes on non-interactive output
Closed 9 months ago3
Feature: call fallback function
Updated 10 months ago
Add support for remappings files
Closed 10 months ago10
Feature Request: Starting balance for fuzzing contract
Updated 10 months ago
FIgure out a way to do automated versioning for releases
Updated 10 months ago1
Migrate to go-ethereum v1.12.1
Updated 10 months ago
Merge property and assertion mode
Updated 10 months ago
Migrate to `mdbook`
Updated 10 months ago
Add verbosity levels to logging
Updated 10 months ago
Add vm.expect* and vm.assume cheatcodes
Updated 10 months ago
One-line installation for medusa
Updated 10 months ago
Exit code standardization
Updated 10 months ago
Pass seed as parameter
Closed 10 months ago4
TBD: Fail on reverts
Updated 10 months ago
Add first party foundry support and redesign compilation package
Updated 10 months ago
Remaining TODOS for logging
Updated 10 months ago
Show the relevant flags in the cli warning
Updated a year ago1
Rename fuzz_ default
Updated a year ago