-
Notifications
You must be signed in to change notification settings - Fork 48
Issues: crytic/medusa
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Medusa gets killed due to excessive memory usage
bug
Something isn't working
high-priority
#579
opened Feb 11, 2025 by
YoussefAbtk
Add Extra attention is needed
medium-priority
vm.getCode cheatcode
help wanted
#576
opened Feb 11, 2025 by
beeb
Create capability to migrate configuration files between releases
good first issue
Good for newcomers
help wanted
Extra attention is needed
low-priority
#570
opened Feb 6, 2025 by
anishnaik
Enable Slither for all tests that require solving for properties
low-priority
#568
opened Feb 5, 2025 by
anishnaik
Slither results caching is re-used even if compilation target changes
bug
Something isn't working
on hold
This issue was marked as not desirable to complete for now
very-low-priority
#561
opened Feb 5, 2025 by
ggrieco-tob
Investigate why medusa saves more corpus items than echidna
high-priority
not-an-issue
planning
This issue is currently in a planning/discussion phase and should not be implemented yet.
#553
opened Feb 3, 2025 by
anishnaik
Add documentation for using on-chain fuzzing
documentation
Improvements or additions to documentation
help wanted
Extra attention is needed
Investigate only mutating one argument per function
medium-priority
not-an-issue
planning
This issue is currently in a planning/discussion phase and should not be implemented yet.
#549
opened Feb 1, 2025 by
anishnaik
Allow for "infinite" gas on deployments
help wanted
Extra attention is needed
low-priority
#541
opened Jan 14, 2025 by
anishnaik
Add installation instructions for using Docker
documentation
Improvements or additions to documentation
help wanted
Extra attention is needed
medium-priority
#539
opened Jan 14, 2025 by
anishnaik
Improve documentation for external library support
documentation
Improvements or additions to documentation
#500
opened Oct 29, 2024 by
anishnaik
panic: runtime error: index out of range
bug
Something isn't working
high-priority
#487
opened Sep 24, 2024 by
bohendo
Optimization tests should support inputs and uint return value
feature-request
low-priority
#486
opened Sep 19, 2024 by
tuturu-tech
Medusa is counting coverage multiple times during the contract construction
bug
Something isn't working
high-priority
#484
opened Sep 19, 2024 by
ggrieco-tob
investigate performance of memory pool for coverage tracer
help wanted
Extra attention is needed
#479
opened Sep 11, 2024 by
0xalpharush
assertion mode: fail and save reproducer if custom error is returned
low-priority
#460
opened Aug 27, 2024 by
bsamuels453
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.