Skip to content
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.

Sign up for GitHub

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

Jump to bottom

feat: fuzzing #44

Merged
merged 16 commits into from
Sep 27, 2021
Merged

feat: fuzzing #44

merged 16 commits into from
Sep 27, 2021

Commits on Sep 25, 2021

  1. feat(evm): allow providing low level encoded calldata

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    856bee6 View commit details
    Browse the repository at this point in the history

  2. feat(dapp): add proptest calldata fuzzing strat

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    5c1e2df View commit details
    Browse the repository at this point in the history

  3. chore(evm): cargo fmt

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    607e06f View commit details
    Browse the repository at this point in the history

  4. feat(sputnik): implement Clone for Executor

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    172a225 View commit details
    Browse the repository at this point in the history

  5. chore: use patch directive to manage sputnik version

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    2f2470b View commit details
    Browse the repository at this point in the history

  6. feat(evmodin): derive Clone for EvmOdin

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    b102103 View commit details
    Browse the repository at this point in the history

  7. feat(fuzz): add more types for fuzzing

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    79fb442 View commit details
    Browse the repository at this point in the history

  8. test: add fuzzing test

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    4c268c1 View commit details
    Browse the repository at this point in the history

  9. feat(runner): fuzz test sol funcs with >0 args using proptest

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    2a91b2e View commit details
    Browse the repository at this point in the history

  10. chore: use patched evmodin until merged

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    fb04ae9 View commit details
    Browse the repository at this point in the history

  11. chore: fix dapptools cli

    @gakonst
    gakonst committed Sep 25, 2021
    Configuration menu
    Copy the full SHA
    a7d7e8c View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2021

  1. feat: allow configuring the fuzzer at the creation of the test runners

    @gakonst
    gakonst committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    cbc7033 View commit details
    Browse the repository at this point in the history

  2. feat: add counterexample generation and test shrinking

    @gakonst
    gakonst committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    0ca24e6 View commit details
    Browse the repository at this point in the history

  3. fix: disable fuzzer in multi runner

    @gakonst
    gakonst committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    42991bc View commit details
    Browse the repository at this point in the history

  4. feat(cli): enable fuzzing

    @gakonst
    gakonst committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    9deba15 View commit details
    Browse the repository at this point in the history

  5. fix(fuzz): change test case to be more reliable with 2 uints 

    testing the shrinking of varlen strings is flaky because the fuzzer may be
able to produce the optimal string length by chance in the first iteration
because the test case is quite narrow
    @gakonst
    gakonst committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    5ace8b1 View commit details
    Browse the repository at this point in the history