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

Fix symbolic syscall arg concretization #1697

Merged
merged 22 commits into from
May 18, 2020
Merged

Fix symbolic syscall arg concretization #1697

merged 22 commits into from
May 18, 2020

Commits on May 6, 2020

  1. Rewind cpu when ConcretizeArgument is raised in system call

    @ekilmer
    ekilmer committed May 6, 2020
    Configuration menu
    Copy the full SHA
    7d3134c View commit details
    Browse the repository at this point in the history

  2. Remove unused ConcretizeSyscallArgument

    @ekilmer
    ekilmer committed May 6, 2020
    Configuration menu
    Copy the full SHA
    ba732d0 View commit details
    Browse the repository at this point in the history

  3. Add test for symbolic system call argument

    @ekilmer
    ekilmer committed May 6, 2020
    Configuration menu
    Copy the full SHA
    a6638e6 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2020

  1. Roll back PC during handling of ConcretizeArgument 

    This accomplishes the same thing as before but now the movement is done
in the parent state instead of children states
    @ekilmer
    ekilmer committed May 7, 2020
    Configuration menu
    Copy the full SHA
    077b6a0 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2020

  1. Statically link test executable

    @ekilmer
    ekilmer committed May 9, 2020
    Configuration menu
    Copy the full SHA
    d5a16ac View commit details
    Browse the repository at this point in the history

  2. Use simple checkpoint and rollback for PC

    @ekilmer
    ekilmer committed May 9, 2020
    Configuration menu
    Copy the full SHA
    22a519f View commit details
    Browse the repository at this point in the history

  3. Rework checkpoint and rollback in exception-handling

    @ekilmer
    ekilmer committed May 9, 2020
    Configuration menu
    Copy the full SHA
    4f2ab10 View commit details
    Browse the repository at this point in the history

  4. Create rollback function in State 

    This is to make sure we don't miss anything when adding future values
    @ekilmer
    ekilmer committed May 9, 2020
    Configuration menu
    Copy the full SHA
    242c76d View commit details
    Browse the repository at this point in the history

  5. Define only one local variable for exception data

    @ekilmer
    ekilmer committed May 9, 2020
    Configuration menu
    Copy the full SHA
    cbbcb34 View commit details
    Browse the repository at this point in the history

  6. Remove unused import

    @ekilmer
    ekilmer committed May 9, 2020
    Configuration menu
    Copy the full SHA
    aeaac35 View commit details
    Browse the repository at this point in the history

  7. Less verbosity in test

    @ekilmer
    ekilmer committed May 9, 2020
    Configuration menu
    Copy the full SHA
    f9706ac View commit details
    Browse the repository at this point in the history

Commits on May 11, 2020

  1. Rollback in parent state instead of children states

    @ekilmer
    ekilmer committed May 11, 2020
    Configuration menu
    Copy the full SHA
    f933e58 View commit details
    Browse the repository at this point in the history

  2. Always rollback state on Concretize*

    @ekilmer
    ekilmer committed May 11, 2020
    Configuration menu
    Copy the full SHA
    6e3a7be View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into ek/fix-concretize-syscall-args 

    * master:
  Remove Keystone from existing tests (#1684)
  Change URL for WASM spec (#1702)
  Overhaul Linux file emulation (#1673)
    @ekilmer
    ekilmer committed May 11, 2020
    Configuration menu
    Copy the full SHA
    ba684db View commit details
    Browse the repository at this point in the history

Commits on May 13, 2020

  1. Merge branch 'master' into ek/fix-concretize-syscall-args 

    * master:
  Fix inheritance magic and add plugin enable/disable (#1696)
  Add hashing to constraintSets (#1703)
  Reduce log messages (#1700)
  Updated Proc error message to be more informative (#1704)
  Move states that selfdestruct to the ready queue. (#1699)
  Reduce concrete hash log messages. (#1695)
    @ekilmer
    ekilmer committed May 13, 2020
    Configuration menu
    Copy the full SHA
    0baebc2 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2020

  1. Use typing.NamedTuple 

    Thank you @bradlarsen
    @ekilmer
    ekilmer committed May 14, 2020
    Configuration menu
    Copy the full SHA
    05c75d4 View commit details
    Browse the repository at this point in the history

  2. Use local checkpoint variable 

    We don't access checkpoint data anywhere else aside from the `execute`
function
    @ekilmer
    ekilmer committed May 14, 2020
    Configuration menu
    Copy the full SHA
    ef24014 View commit details
    Browse the repository at this point in the history

  3. Add type hint to test 

    Co-authored-by: Brad Larsen <brad.larsen@trailofbits.com>
    @ekilmer
    ekilmer and Brad Larsen authored May 14, 2020
    Configuration menu
    Copy the full SHA
    dd998e6 View commit details
    Browse the repository at this point in the history

  4. Use more specific language in test comment 

    Co-authored-by: Brad Larsen <brad.larsen@trailofbits.com>
    @ekilmer
    ekilmer and Brad Larsen authored May 14, 2020
    Configuration menu
    Copy the full SHA
    d18492a View commit details
    Browse the repository at this point in the history

  5. Remove outdated function name in comment

    @ekilmer
    ekilmer committed May 14, 2020
    Configuration menu
    Copy the full SHA
    bc1edd5 View commit details
    Browse the repository at this point in the history

  6. Fix missed refactor

    @ekilmer
    ekilmer committed May 14, 2020
    Configuration menu
    Copy the full SHA
    ae557fc View commit details
    Browse the repository at this point in the history

Commits on May 18, 2020

  1. Remove unneeded testing changes after refactor

    @ekilmer
    ekilmer committed May 18, 2020
    Configuration menu
    Copy the full SHA
    c1ede66 View commit details
    Browse the repository at this point in the history