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

#213 - Feature Request: Starting balance for fuzzing contract

Issue - State: closed - Opened by rappie over 1 year ago
Labels: high-priority

#211 - Medusa crash when deploying contract inside target contract constructor

Issue - State: closed - Opened by aviggiano over 1 year ago - 5 comments

#210 - update version for v0.1.2 release

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#209 - FIgure out a way to do automated versioning for releases

Issue - State: open - Opened by anishnaik over 1 year ago - 1 comment
Labels: very-low-priority

#208 - Migrate to go-ethereum v1.12.1

Issue - State: closed - Opened by anishnaik over 1 year ago
Labels: high-priority

#207 - Add support for remappings files

Issue - State: closed - Opened by magnetto90 over 1 year ago - 10 comments

#206 - Add vm.expect* and vm.assume cheatcodes

Issue - State: open - Opened by anishnaik over 1 year ago
Labels: help wanted, low-priority

#205 - One-line installation for medusa

Issue - State: open - Opened by anishnaik over 1 year ago
Labels: help wanted, high-priority

#204 - Add verbosity levels to logging

Issue - State: open - Opened by anishnaik over 1 year ago - 1 comment
Labels: help wanted, medium-priority

#203 - Exit code standardization

Issue - State: closed - Opened by damilolaedwards over 1 year ago - 1 comment

#202 - Added denomination parsing to AST value extraction

Pull Request - State: closed - Opened by Xenomega over 1 year ago

#201 - Pass seed as parameter

Issue - State: closed - Opened by aviggiano over 1 year ago - 4 comments

#200 - Crash after medusa run some time

Issue - State: closed - Opened by yuliyu123 over 1 year ago - 10 comments
Labels: bug, high-priority

#199 - Update to go-ethereum 1.12.0

Pull Request - State: closed - Opened by Xenomega over 1 year ago

#198 - Medusa prints color escapes on non-interactive output

Issue - State: closed - Opened by elopez over 1 year ago - 3 comments
Labels: enhancement

#197 - Bump golang.org/x/crypto from 0.11.0 to 0.12.0

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

#196 - Bump golang.org/x/net from 0.12.0 to 0.14.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, go

#195 - Add simple json report generation

Pull Request - State: open - Opened by tuturu-tech over 1 year ago - 1 comment

#194 - Lower log level for "Corpus item is disabled"

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#193 - `console.log` go brrr

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#192 - TBD: Fail on reverts

Issue - State: open - Opened by anishnaik over 1 year ago
Labels: good first issue, help wanted, planning, low-priority

#191 - Merge property and assertion mode

Issue - State: closed - Opened by anishnaik over 1 year ago
Labels: high-priority

#190 - Add first party foundry support and redesign compilation package

Issue - State: open - Opened by anishnaik over 1 year ago
Labels: help wanted, on hold, very-low-priority

#189 - Migrate to `mdbook`

Issue - State: closed - Opened by anishnaik over 1 year ago - 1 comment
Labels: documentation, high-priority

#188 - Remaining TODOS for logging

Issue - State: open - Opened by anishnaik over 1 year ago
Labels: on hold, planning, very-low-priority

#187 - Fix nil dereference when calling `SetTarget`

Pull Request - State: closed - Opened by anishnaik over 1 year ago - 1 comment

#186 - Bump github.com/rs/zerolog from 1.29.0 to 1.30.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, go

#185 - Update CONTRIBUTING.md

Pull Request - State: closed - Opened by montyly over 1 year ago

#184 - Update README.md

Pull Request - State: closed - Opened by montyly over 1 year ago

#183 - add library support for crytic-compile platform

Pull Request - State: open - Opened by 0xalpharush over 1 year ago

#182 - Rename fuzz_ default

Issue - State: closed - Opened by montyly over 1 year ago
Labels: low-priority

#181 - Show the relevant flags in the cli warning

Issue - State: open - Opened by montyly over 1 year ago - 1 comment
Labels: low-priority

#180 - Multi-channel and multi-error log support

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#179 - Implement "setUp" hook

Issue - State: open - Opened by anishnaik over 1 year ago - 1 comment
Labels: on hold, medium-priority

#178 - Update version

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#177 - Bump github.com/rs/zerolog from 1.29.0 to 1.29.1

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

#176 - Bump golang.org/x/net from 0.11.0 to 0.12.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, go

#175 - Bump golang.org/x/crypto from 0.10.0 to 0.11.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, go

#174 - add optimization mode cli flag

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#173 - stopOnFailedContractMatching can be confusing for users

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 2 comments
Labels: documentation

#172 - Crash when using an incomplete config file

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 1 comment
Labels: bug

#171 - Custom logger for unstructured and structured logging

Pull Request - State: closed - Opened by anishnaik over 1 year ago - 2 comments

#170 - Using `--config` can break `--target` when the directory is relative

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 1 comment
Labels: bug

#168 - Assertion checking in view/pure functions is never reached

Issue - State: closed - Opened by ggrieco-tob over 1 year ago
Labels: bug, high-priority

#167 - increase test limit for optimization test

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#166 - A better abstraction is required in order to access the chain state

Issue - State: open - Opened by ggrieco-tob over 1 year ago - 1 comment
Labels: on hold, very-low-priority

#165 - Add a parameter in optimization mode to maximize gas usage

Pull Request - State: open - Opened by ggrieco-tob over 1 year ago

#164 - Add `--optimization-mode` flag to CLI

Issue - State: closed - Opened by anishnaik over 1 year ago

#163 - Detect transaction with larger gas usage

Issue - State: open - Opened by ggrieco-tob over 1 year ago - 4 comments
Labels: low-priority

#162 - fix isPropertyTest function

Pull Request - State: closed - Opened by anishnaik over 1 year ago - 1 comment

#161 - Extend assertion tests using different panic codes

Pull Request - State: closed - Opened by damilolaedwards over 1 year ago - 4 comments

#160 - Bump golang.org/x/crypto from 0.8.0 to 0.10.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, go

#159 - Bump golang.org/x/net from 0.9.0 to 0.11.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, go

#158 - ci: avoid using C: on Windows CI

Pull Request - State: closed - Opened by elopez over 1 year ago

#157 - ci: switch to windows-2019

Pull Request - State: closed - Opened by elopez over 1 year ago

#156 - Unable to invalidate invariant

Issue - State: closed - Opened by pbwaffles over 1 year ago - 3 comments

#155 - Fix addr cheatcode

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#154 - Bump github.com/stretchr/testify from 1.8.2 to 1.8.4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, go

#153 - Bump github.com/stretchr/testify from 1.8.2 to 1.8.3

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

#152 - A better abstraction for executing a sequence of transacitons in the worker is needed

Issue - State: open - Opened by ggrieco-tob over 1 year ago
Labels: on hold, planning, very-low-priority

#151 - Bump golang.org/x/net from 0.9.0 to 0.10.0

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

#150 - Bump golang.org/x/crypto from 0.8.0 to 0.9.0

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

#149 - Add an option to suppress execution trace

Issue - State: closed - Opened by tarunbhm over 1 year ago - 3 comments

#148 - Clear separation between mutation and generation is needed

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 1 comment
Labels: planning

#147 - Value shrinking

Pull Request - State: closed - Opened by ggrieco-tob over 1 year ago

#146 - Medusa needs a command line/config option to select the testing mode

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 6 comments

#144 - Feature request: Add `output type` flag to CLI

Issue - State: closed - Opened by damilolaedwards over 1 year ago - 1 comment

#143 - Add Nix support

Pull Request - State: open - Opened by bohendo over 1 year ago - 1 comment

#142 - Extend assertion-testing with different panic codes

Issue - State: closed - Opened by Xenomega over 1 year ago - 1 comment
Labels: good first issue

#141 - Add CODEOWNERS

Pull Request - State: closed - Opened by ggrieco-tob over 1 year ago

#140 - Improve config option parity between medusa and echidna

Issue - State: closed - Opened by anishnaik over 1 year ago - 2 comments
Labels: good first issue, help wanted

#139 - Improve library support

Issue - State: open - Opened by anishnaik over 1 year ago - 4 comments
Labels: help wanted, on hold, medium-priority

#138 - Add to support for fork selection to TestChainConfig

Issue - State: open - Opened by Xenomega over 1 year ago
Labels: good first issue, very-low-priority

#137 - ci: pin node version to 18.5

Pull Request - State: closed - Opened by 0xalpharush over 1 year ago - 1 comment

#136 - Feature Request: Shrinking argument values

Issue - State: closed - Opened by rappie over 1 year ago - 3 comments

#135 - Fix internal library event emissions in ExecutionTrace

Pull Request - State: closed - Opened by Xenomega over 1 year ago

#134 - Fix array/slice mutation panic

Pull Request - State: closed - Opened by Xenomega over 1 year ago

#133 - Bump actions/setup-go from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, github_actions

#131 - Bug: medusa fails to decode events emitted in internal library functions

Issue - State: closed - Opened by anishnaik over 1 year ago
Labels: bug

#130 - Feature Request: Event decoding

Issue - State: closed - Opened by rappie over 1 year ago - 4 comments

#129 - Bump golang.org/x/crypto from 0.6.0 to 0.8.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#128 - Bump github.com/spf13/cobra from 1.6.1 to 1.7.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#127 - Bump golang.org/x/net from 0.6.0 to 0.9.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#126 - Feat: support fuzzing-templates

Issue - State: closed - Opened by sambacha over 1 year ago - 4 comments

#125 - Fix panics

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#124 - Panic when replaying a corpus

Issue - State: closed - Opened by ggrieco-tob over 1 year ago

#123 - Crash if a test reverts

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 1 comment

#122 - Standarize headless mode status information

Pull Request - State: open - Opened by ggrieco-tob over 1 year ago

#121 - Headless mode for fuzzing campaigns

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 2 comments
Labels: on hold

#120 - README updates for initial public release of `medusa`

Pull Request - State: closed - Opened by anishnaik over 1 year ago

#119 - Post repository migration re-linking

Pull Request - State: closed - Opened by Xenomega over 1 year ago

#118 - Bump golang.org/x/crypto from 0.6.0 to 0.7.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#117 - Bump golang.org/x/net from 0.6.0 to 0.8.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#116 - Bump github.com/stretchr/testify from 1.8.1 to 1.8.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#115 - Milestone tracking: Post-release

Issue - State: closed - Opened by Xenomega over 1 year ago - 1 comment
Labels: milestone

#114 - Save the failing/optimal sequences of transactions in a special "reproducers" directory

Issue - State: closed - Opened by ggrieco-tob over 1 year ago - 4 comments
Labels: enhancement