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

Storage, Parser, Reachability #2

Merged
merged 29 commits into from
Aug 5, 2023
Merged

Storage, Parser, Reachability #2

merged 29 commits into from
Aug 5, 2023

Commits on Feb 7, 2023

  1. add storage structure and parser

    @WilfredTA
    WilfredTA committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    71f247f View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2023

  1. u8 to instruction

    @WilfredTA
    WilfredTA committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    b013764 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2023

  1. fix push size calc

    @WilfredTA
    WilfredTA committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    3bc884a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into storage

    @WilfredTA
    WilfredTA committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    4219f75 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2023

  1. add parser; add test-contracts with foundry; add convenience methods … 

    …to parser
    @WilfredTA
    WilfredTA committed Apr 8, 2023
    Configuration menu
    Copy the full SHA
    2c60634 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. add more parsing and convenience methods; storage & tests with concre… 

    …te index
    @WilfredTA
    WilfredTA committed May 19, 2023
    Configuration menu
    Copy the full SHA
    33de0b4 View commit details
    Browse the repository at this point in the history

  2. Fix parser adding instruction byte to pushed byte values

    @WilfredTA
    WilfredTA committed May 19, 2023
    Configuration menu
    Copy the full SHA
    e3c8b0e View commit details
    Browse the repository at this point in the history

Commits on May 21, 2023

  1. add storage change records; fix parser test; add storage to machine r… 

    …ecord
    @WilfredTA
    WilfredTA committed May 21, 2023
    Configuration menu
    Copy the full SHA
    1402750 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2023

  1. Add ruint & support ruint <> BitVec conversions

    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    e7ca61d View commit details
    Browse the repository at this point in the history

  2. change types module to conversion; move z3 conversion type to convers… 

    …ion module
    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    8e7ff11 View commit details
    Browse the repository at this point in the history

  3. Add an address to EVM state

    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    215c33e View commit details
    Browse the repository at this point in the history

  4. Add address to EVM state'

    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    a9e2435 View commit details
    Browse the repository at this point in the history

  5. Implement instruction handler for sstore

    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    99bf3f7 View commit details
    Browse the repository at this point in the history

  6. Add storage to MachineState trait & trait implementation

    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    0839808 View commit details
    Browse the repository at this point in the history

  7. add sload instruction handler

    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    c9cb4b5 View commit details
    Browse the repository at this point in the history

  8. implement 'storage_apply' in machine

    @WilfredTA
    WilfredTA committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    fc2023c View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2023

  1. Use ruint's Uint to convert to Bitvecs in parser instead of using u64

    @WilfredTA
    WilfredTA committed Jun 25, 2023
    Configuration menu
    Copy the full SHA
    484d388 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. refactor execution algorithm

    @WilfredTA
    WilfredTA committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    3af822a View commit details
    Browse the repository at this point in the history

  2. code cleanup

    @WilfredTA
    WilfredTA committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    9ce2d04 View commit details
    Browse the repository at this point in the history

  3. Add sparse pc->instruction map

    @WilfredTA
    WilfredTA committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    55c3861 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. add initial swap support

    @WilfredTA
    WilfredTA committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    fd3a6e2 View commit details
    Browse the repository at this point in the history

  2. fix: call exec_swap_nth instead of dup

    @WilfredTA
    WilfredTA committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    8d84b39 View commit details
    Browse the repository at this point in the history

  3. Add Evm::exec_check() for all-path reachability analysis

    @WilfredTA
    WilfredTA committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    1db5b10 View commit details
    Browse the repository at this point in the history

  4. code cleanup

    @WilfredTA
    WilfredTA committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    97ead90 View commit details
    Browse the repository at this point in the history

  5. add simple maybe_revert test

    @WilfredTA
    WilfredTA committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    84295e4 View commit details
    Browse the repository at this point in the history

  6. remove unused test

    @WilfredTA
    WilfredTA committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    1b897bc View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Add sha3; fix mload when bitvecs are compound expressions in some cases

    @WilfredTA
    WilfredTA committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    a99449a View commit details
    Browse the repository at this point in the history

  2. fmt

    @WilfredTA
    WilfredTA committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    3fee38b View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2023

  1. Add gas opcode, begin support for configurable execution ctx

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