Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / crytic/medusa issues and pull requests

#509 - chore(deps): bump softprops/action-gh-release from 2.0.4 to 2.1.0

Pull Request - State: open - Opened by dependabot[bot] 9 days ago
Labels: dependencies, github_actions

#508 - chore(deps): bump golang.org/x/crypto from 0.25.0 to 0.29.0

Pull Request - State: open - Opened by dependabot[bot] 16 days ago
Labels: dependencies, go

#507 - chore(deps): bump golang.org/x/net from 0.27.0 to 0.31.0

Pull Request - State: open - Opened by dependabot[bot] 16 days ago
Labels: dependencies, go

#506 - chore(deps): bump golang.org/x/sys from 0.22.0 to 0.27.0

Pull Request - State: open - Opened by dependabot[bot] 16 days ago
Labels: dependencies, go

#505 - Medusa should extract constants from the returned values of the EVM execution

Issue - State: open - Opened by ggrieco-tob 22 days ago
Labels: feature-request

#504 - Medusa fails to extract values from type max

Issue - State: open - Opened by ggrieco-tob 22 days ago

#502 - chore(deps): bump softprops/action-gh-release from 2.0.4 to 2.0.9

Pull Request - State: closed - Opened by dependabot[bot] 23 days ago - 1 comment
Labels: dependencies, github_actions

#501 - Add support for basic `assert*` cheatcodes

Issue - State: open - Opened by anishnaik 28 days ago
Labels: very-low-priority

#500 - Improve documentation for external library support

Issue - State: open - Opened by anishnaik 28 days ago
Labels: documentation

#499 - WIP: Update `warp` to be permanent

Pull Request - State: open - Opened by anishnaik about 1 month ago

#498 - Inefficient shrinking in optimization mode

Issue - State: open - Opened by rappie about 1 month ago

#497 - Medusa vs Echidna gas usage

Issue - State: open - Opened by rappie about 1 month ago - 5 comments

#496 - chore(deps): bump golang.org/x/sys from 0.22.0 to 0.26.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 1 comment
Labels: dependencies, go

#495 - chore(deps): bump golang.org/x/net from 0.27.0 to 0.30.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 1 comment
Labels: dependencies, go

#494 - chore(deps): bump golang.org/x/crypto from 0.25.0 to 0.28.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 1 comment
Labels: dependencies, go

#493 - Update coverage report documentation in mdbook

Pull Request - State: closed - Opened by anishnaik about 1 month ago

#492 - update to v0.1.7

Pull Request - State: closed - Opened by anishnaik about 1 month ago

#491 - FR: provide a cli flag to set `stopOnFailedTest`

Issue - State: open - Opened by 0xteddybear about 1 month ago
Labels: low-priority, feature-request

#490 - Update CODEOWNERS

Pull Request - State: closed - Opened by 0xalpharush about 2 months ago

#488 - Always save address of a deployed contract in the valueSet

Pull Request - State: closed - Opened by smonicas about 2 months ago - 1 comment

#488 - Always save address of a deployed contract in the valueSet

Pull Request - State: closed - Opened by smonicas about 2 months ago - 1 comment

#487 - panic: runtime error: index out of range

Issue - State: open - Opened by bohendo 2 months ago - 2 comments
Labels: bug, high-priority

#487 - panic: runtime error: index out of range

Issue - State: open - Opened by bohendo 2 months ago - 2 comments
Labels: bug, high-priority

#486 - Optimization tests should support inputs and uint return value

Issue - State: open - Opened by tuturu-tech 2 months ago
Labels: low-priority, feature-request

#486 - Optimization tests should support inputs and uint return value

Issue - State: open - Opened by tuturu-tech 2 months ago
Labels: low-priority, feature-request

#485 - fix: dedup pc by codehash for unique pc metric

Pull Request - State: open - Opened by 0xalpharush 2 months ago - 1 comment

#485 - fix: dedup pc by codehash for unique pc metric

Pull Request - State: open - Opened by 0xalpharush 2 months ago - 1 comment

#484 - Medusa is counting coverage multiple times during the contract construction

Issue - State: open - Opened by ggrieco-tob 2 months ago - 3 comments
Labels: bug, high-priority

#484 - Medusa is counting coverage multiple times during the contract construction

Issue - State: open - Opened by ggrieco-tob 2 months ago - 3 comments
Labels: bug, high-priority

#483 - Fix initcode override check

Pull Request - State: closed - Opened by anishnaik 2 months ago

#481 - add support for the `label` cheat

Issue - State: open - Opened by bohendo 2 months ago
Labels: medium-priority, feature-request

#481 - add support for the `label` cheat

Issue - State: open - Opened by bohendo 2 months ago
Labels: medium-priority, feature-request

#480 - Update x86 macOS runner to `macos-13`

Pull Request - State: closed - Opened by elopez 3 months ago

#479 - investigate performance of memory pool for coverage tracer

Issue - State: open - Opened by 0xalpharush 3 months ago
Labels: help wanted

#478 - experiment with per-worker corpus

Issue - State: open - Opened by 0xalpharush 3 months ago

#477 - chore(deps): bump golang.org/x/sys from 0.22.0 to 0.25.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, go

#476 - chore(deps): bump golang.org/x/net from 0.27.0 to 0.29.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, go

#475 - chore(deps): bump golang.org/x/crypto from 0.25.0 to 0.27.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, go

#474 - add tool to convert an echidna config to medusa's format

Issue - State: open - Opened by 0xalpharush 3 months ago
Labels: good first issue, medium-priority

#473 - speed up tests

Issue - State: open - Opened by 0xalpharush 3 months ago

#472 - perf: cache codehash to speedup coverage tracking

Pull Request - State: closed - Opened by samalws-tob 3 months ago

#471 - (WIP) cache codehash for performance

Pull Request - State: closed - Opened by samalws-tob 3 months ago - 2 comments

#470 - medusa appears to use one more core than specified

Issue - State: closed - Opened by elopez 3 months ago - 4 comments

#469 - enable loading state from forge script ran against anvil

Issue - State: open - Opened by 0xalpharush 3 months ago - 2 comments

#466 - feat: Reversion metrics

Pull Request - State: open - Opened by bsamuels453 3 months ago - 3 comments

#465 - add quick install and link to installation intrs.

Pull Request - State: closed - Opened by 0xalpharush 3 months ago

#464 - feat: replay crash from post deployment

Pull Request - State: open - Opened by 0xalpharush 3 months ago

#462 - Coverage report still generated when disabled

Issue - State: closed - Opened by bsamuels453 3 months ago - 1 comment

#460 - assertion mode: fail and save reproducer if custom error is returned

Issue - State: open - Opened by bsamuels453 3 months ago - 1 comment
Labels: low-priority

#459 - feat: try removing all reverting txs during shrinking

Pull Request - State: open - Opened by 0xalpharush 3 months ago

#458 - Feat/rework mutators

Pull Request - State: open - Opened by 0xalpharush 3 months ago

#457 - fix: check that receipt is non-nil in `OnTxEnd` hook

Pull Request - State: closed - Opened by anishnaik 3 months ago

#456 - feat: combine mutable and immutable call sequences folder

Pull Request - State: closed - Opened by anishnaik 3 months ago - 2 comments

#455 - snapshot and revertTo bug fix

Pull Request - State: closed - Opened by damilolaedwards 3 months ago - 1 comment

#454 - WIP: Potential race condition when updating PC hits

Issue - State: open - Opened by anishnaik 3 months ago

#453 - Log/unique pcs

Pull Request - State: closed - Opened by 0xalpharush 3 months ago

#452 - startPrank and stopPrank cheatcode

Pull Request - State: open - Opened by damilolaedwards 3 months ago

#451 - tracking: performance optimizations

Issue - State: open - Opened by 0xalpharush 3 months ago - 2 comments

#450 - Add sometimes assertions

Issue - State: open - Opened by 0xalpharush 3 months ago - 1 comment

#449 - Assign shrinking to one worker

Issue - State: open - Opened by 0xalpharush 3 months ago

#448 - chore: add and rearrange how/what is logged

Pull Request - State: closed - Opened by 0xalpharush 3 months ago

#447 - Add basic installation instructions to main `README`

Issue - State: closed - Opened by anishnaik 3 months ago
Labels: documentation

#446 - Implement `startPrank` and `stopPrank`

Issue - State: open - Opened by anishnaik 3 months ago
Labels: help wanted, medium-priority

#445 - feat: add expansion call sequence mutation

Pull Request - State: closed - Opened by 0xalpharush 3 months ago - 3 comments

#444 - feat: prompt user for overwrite if file already exists

Pull Request - State: closed - Opened by 0xalpharush 3 months ago

#443 - tell the user how the project is being built by logging commands

Issue - State: closed - Opened by 0xalpharush 3 months ago - 1 comment
Labels: good first issue

#442 - feat: LCOV report

Pull Request - State: closed - Opened by 0xalpharush 3 months ago

#441 - docs/interface-renaming

Pull Request - State: closed - Opened by blablalf 3 months ago - 2 comments

#438 - Bump golang.org/x/crypto from 0.25.0 to 0.26.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, go

#437 - Bump golang.org/x/sys from 0.22.0 to 0.24.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, go

#436 - Bump golang.org/x/net from 0.27.0 to 0.28.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, go

#435 - Possible error with `prankHere`

Issue - State: closed - Opened by hexshire 4 months ago - 3 comments

#434 - Whenever an invariant fails, Medusa should create a foundry test

Issue - State: open - Opened by bsamuels453 4 months ago
Labels: very-low-priority

#432 - Tell the user when the corpus is fully replayed

Issue - State: closed - Opened by bsamuels453 4 months ago - 2 comments
Labels: good first issue

#431 - Reversion Metrics

Issue - State: open - Opened by bsamuels453 4 months ago - 2 comments
Labels: planning, low-priority

#430 - chore: fix some function names

Pull Request - State: closed - Opened by highcloudwind 4 months ago - 1 comment

#429 - Problem with go-API `undefined: vm.ConfigExtensions`

Issue - State: open - Opened by mysteryon88 4 months ago - 4 comments

#428 - update version to v0.1.6

Pull Request - State: closed - Opened by anishnaik 4 months ago

#427 - Update

Pull Request - State: closed - Opened by 0xalpharush 4 months ago

#425 - Prompt to overwrite config file

Pull Request - State: closed - Opened by s4nsec 4 months ago - 1 comment

#424 - Add new mutation strategy - callSeqGenFuncDuplicateAtRandom

Pull Request - State: closed - Opened by s4nsec 4 months ago - 1 comment

#423 - warning medusa init

Pull Request - State: closed - Opened by s4nsec 4 months ago - 1 comment

#422 - call sequence mutation logic

Pull Request - State: closed - Opened by s4nsec 4 months ago - 1 comment

#421 - Bump github.com/holiman/uint256 from 1.3.0 to 1.3.1

Pull Request - State: open - Opened by dependabot[bot] 4 months ago
Labels: dependencies, go

#419 - add support for `deployCode`

Issue - State: open - Opened by 0xalpharush 4 months ago - 1 comment
Labels: medium-priority

#418 - add LCOV as an output format for coverage

Issue - State: closed - Opened by 0xalpharush 4 months ago - 1 comment
Labels: high-priority

#416 - report property tests and optimization tests in coverage

Issue - State: open - Opened by 0xalpharush 4 months ago
Labels: medium-priority