-
Notifications
You must be signed in to change notification settings - Fork 39
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 is counting coverage multiple times during the contract construction
bug
Something isn't working
high-priority
#484
opened Sep 19, 2024 by
ggrieco-tob
Release 0.1.9: Improve value generation and breadth of coverage
Medusa can't solve the
ByteBattle
fuzzing challenge but Echidna can solve it instantly
high-priority
#307
opened Feb 22, 2024 by
devdacian
Medusa can no longer solve the
RarelyFalse
fuzzing challenge
high-priority
#305
opened Feb 22, 2024 by
devdacian
Investigate 0x00/empty string serialization
bug
Something isn't working
high-priority
#279
opened Jan 9, 2024 by
tuturu-tech
Release 0.1.4: More bug fixes and improve call sequence shrinking
tests fail with race detector enabled
bug
Something isn't working
high-priority
#269
opened Dec 15, 2023 by
0xalpharush
Release 0.1.4: More bug fixes and improve call sequence shrinking
Unable to run Medusa due crytic-compile error, corrupted lockfile due to NPM bug
bug
Something isn't working
high-priority
Allow Echidna & Medusa to share the same corpus
help wanted
Extra attention is needed
high-priority
#234
opened Sep 19, 2023 by
aviggiano
Medusa fails to break property after 10min while Echidna can break it in 1min
high-priority
not-an-issue
#232
opened Sep 16, 2023 by
aviggiano
bug: medusa silently fails when provided a CLI flag that is not valid
bug
Something isn't working
high-priority
#230
opened Sep 14, 2023 by
anishnaik
Release 0.1.4: More bug fixes and improve call sequence shrinking
One-line installation for medusa
help wanted
Extra attention is needed
high-priority
#205
opened Aug 18, 2023 by
anishnaik
Periodically generate calls to view methods in the CallSequence
good first issue
Good for newcomers
help wanted
Extra attention is needed
high-priority
#55
opened Dec 2, 2022 by
Xenomega
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.