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

Added reentrancy feedback #140

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Added reentrancy feedback #140

wants to merge 8 commits into from

Commits on Jul 18, 2023

  1. Added reentrancy feedback

    @jqhc
    jqhc committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    7fa7420 View commit details
    Browse the repository at this point in the history

  2. reentrancy feedback updates in host.rs

    @jqhc
    jqhc committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    bad088c View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Added executor functionality 

    - Added global variable WRITTEN for reentrancy feedback
- Reentrancy feedback now takes an executor and uses it to check for reentrancy after control leaks
- Added reentrancy checking to CmpFeedback
- Reentrancy feedback uses scheduler to vote for states
- Moved feedback global variable updates into middleware.rs instead of evm_fuzzer.rs
    @jqhc
    jqhc committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    aea4393 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into reentrancy-feedback

    @jqhc
    jqhc authored Aug 7, 2023
    Configuration menu
    Copy the full SHA
    e847028 View commit details
    Browse the repository at this point in the history

  3. Fixed typing/compatibility issues 

    Added CI type support for Reentrancy feedback
    @jqhc
    jqhc committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    57287da View commit details
    Browse the repository at this point in the history

  4. Fixed compiler error

    @jqhc
    jqhc committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    0646156 View commit details
    Browse the repository at this point in the history

  5. Added unsafe to middleware

    @jqhc
    jqhc committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    d9e6b15 View commit details
    Browse the repository at this point in the history

  6. More bug fixes in middleware and reentrancy feedback

    @jqhc
    jqhc committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    5d670a7 View commit details
    Browse the repository at this point in the history