crytic/medusa issues and pull requests

#90 - Use require package instead of assert while performing fs operations in unit tests

Pull Request - State: open - Opened by ahpaleus about 2 years ago - 3 comments

#89 - User features comparison with echidna / building secure contracts

Issue - State: open - Opened by montyly about 2 years ago - 5 comments

#88 - Do not start the fuzzing campaign if no properties are detected

Pull Request - State: closed - Opened by ahpaleus about 2 years ago - 1 comment

#87 - tx sequence printing refactor

Pull Request - State: closed - Opened by ahpaleus about 2 years ago

#86 - require() instead of assert() in specific test cases

Issue - State: open - Opened by ahpaleus about 2 years ago
Labels: good first issue, help wanted, code-quality, on hold, very-low-priority

#85 - Corpus mutations

Pull Request - State: closed - Opened by Xenomega about 2 years ago

#84 - Add option to test contracts in deployment order only

Issue - State: closed - Opened by 0xalpharush about 2 years ago - 4 comments

#83 - Consider removing tx gas limit for initial contract deployments

Issue - State: closed - Opened by 0xalpharush about 2 years ago - 5 comments

#80 - When `stopOnFailedTest` is false, stop when if all tests have failed.

Issue - State: closed - Opened by 0xalpharush about 2 years ago - 2 comments

#79 - Autocompletion

Pull Request - State: closed - Opened by ahpaleus about 2 years ago - 4 comments

#78 - Bump golang.org/x/net from 0.4.0 to 0.5.0

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#77 - Bump golang.org/x/crypto from 0.4.0 to 0.5.0

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#76 - Dockerfile

Pull Request - State: closed - Opened by ahpaleus about 2 years ago - 1 comment

#75 - Add support for optimization mode

Pull Request - State: closed - Opened by tarunbhm about 2 years ago - 5 comments

#71 - Add support for `optimization` mode

Issue - State: closed - Opened by anishnaik about 2 years ago
Labels: good first issue

#70 - Add slither as a dependency to the CI

Pull Request - State: closed - Opened by anishnaik about 2 years ago - 10 comments

#69 - Slither Printer Integration

Pull Request - State: closed - Opened by anishnaik about 2 years ago - 1 comment

#68 - Add support for embedded library deployments

Issue - State: closed - Opened by anishnaik about 2 years ago - 1 comment

#67 - max code size exceeded

Issue - State: closed - Opened by ggrieco-tob about 2 years ago - 7 comments
Labels: on hold

#66 - Allow auto-complete filenames in sh/bash

Issue - State: closed - Opened by ggrieco-tob about 2 years ago - 1 comment
Labels: good first issue

#65 - Update the project config defaults to match Echidna ones

Pull Request - State: closed - Opened by ggrieco-tob about 2 years ago - 4 comments

#64 - Add CODEOWNERS

Issue - State: closed - Opened by Xenomega about 2 years ago - 1 comment

#63 - Replace go-ethereum's ABI API

Issue - State: open - Opened by Xenomega about 2 years ago
Labels: high-priority

#62 - Try to imitate echidna default configs

Issue - State: closed - Opened by ggrieco-tob about 2 years ago

#61 - Do not start the fuzzing campaign if no properties are detected

Issue - State: closed - Opened by ggrieco-tob about 2 years ago - 1 comment

#55 - Periodically generate calls to view methods in the CallSequence

Issue - State: closed - Opened by Xenomega about 2 years ago - 3 comments
Labels: good first issue, help wanted, high-priority

#53 - Experiment with libfuzzer coverage-based feedback loop

Issue - State: open - Opened by ggrieco-tob about 2 years ago - 4 comments
Labels: on hold, very-low-priority

#52 - Integrate slither's echidna printer

Issue - State: closed - Opened by Xenomega about 2 years ago
Labels: on hold, low-priority

#51 - High level testing API

Issue - State: open - Opened by Xenomega about 2 years ago - 2 comments
Labels: on hold, low-priority

#50 - ValueGenerator improvements

Issue - State: closed - Opened by Xenomega about 2 years ago - 1 comment

#41 - Add system-level specs and architecture diagrams

Issue - State: open - Opened by anishnaik over 2 years ago
Labels: documentation, on hold, very-low-priority

#40 - Coverage reports

Issue - State: closed - Opened by anishnaik over 2 years ago - 4 comments

#39 - Support duplicate contract names

Issue - State: open - Opened by Xenomega over 2 years ago - 2 comments
Labels: on hold, very-low-priority

#38 - Provide Docker environment for application + tests

Issue - State: open - Opened by Xenomega over 2 years ago
Labels: good first issue, on hold, very-low-priority

#36 - Add hevm/foundry cheatcodes

Issue - State: closed - Opened by montyly over 2 years ago - 3 comments

#31 - Refactor tx sequence printing

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

#25 - Expose configurable options for chain config

Issue - State: closed - Opened by Xenomega over 2 years ago - 2 comments

#19 - Refactor logging to make use of structured logging providers

Issue - State: closed - Opened by Xenomega over 2 years ago - 1 comment

#17 - Support msg.sender fuzzing

Issue - State: closed - Opened by Xenomega over 2 years ago - 2 comments
Labels: on hold

#16 - Refactor error handling/panics

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

GitHub / crytic/medusa issues and pull requests