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

Make gas calculation faithfulness configurable #1279

Merged
merged 49 commits into from
Jan 7, 2019
Merged

Make gas calculation faithfulness configurable #1279

merged 49 commits into from
Jan 7, 2019

Commits on Nov 23, 2018

  1. split extra gas calculation to it's own method

    @feliam
    feliam committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    34e0aab View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2018

  1. Fix MSTORE8

    @feliam
    feliam committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    c1533c2 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2018

  1. Fix some legacy tests

    @feliam
    feliam committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    7cfdddc View commit details
    Browse the repository at this point in the history

  2. Remove fork selection

    @feliam
    feliam committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    b097118 View commit details
    Browse the repository at this point in the history

  3. Fix legacy tests. Iff Stack Underflow then gas is consumed in full

    @feliam
    feliam committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    eae0b3a View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2018

  1. memfee is zero when size is zero

    @feliam
    feliam committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    992dccf View commit details
    Browse the repository at this point in the history

  2. CC

    @feliam
    feliam committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    fc8ea86 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2018

  1. 1st version of configurable gas faitfulness

    @feliam
    feliam committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    c7ca88c View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2018

  1. Try fix concolic

    @feliam
    feliam committed Dec 6, 2018
    Configuration menu
    Copy the full SHA
    57a0c06 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:trailofbits/manticore

    @feliam
    feliam committed Dec 6, 2018
    Configuration menu
    Copy the full SHA
    3090fd1 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2018

  1. Fix typo

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    1c45ae6 View commit details
    Browse the repository at this point in the history

  2. Fix logic bug

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    63eaca0 View commit details
    Browse the repository at this point in the history

  3. If everything is concrete lets just check at every instruction

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    852cbbf View commit details
    Browse the repository at this point in the history

  4. Fix bad import at test

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    cf93854 View commit details
    Browse the repository at this point in the history

  5. CC

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    0d4cdfa View commit details
    Browse the repository at this point in the history

  6. merge

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    742d8b5 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' of github.com:trailofbits/manticore

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    0c61490 View commit details
    Browse the repository at this point in the history

  8. merge

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    ff32f6c View commit details
    Browse the repository at this point in the history

  9. CC

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    288cdc3 View commit details
    Browse the repository at this point in the history

  10. CC

    @feliam
    feliam committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    e2b1e46 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2018

  1. Merge branch 'master' of github.com:trailofbits/manticore

    @feliam
    feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    c719068 View commit details
    Browse the repository at this point in the history

  2. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    fe32cf8 View commit details
    Browse the repository at this point in the history

  3. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    0fca302 View commit details
    Browse the repository at this point in the history

  4. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    67f7fa3 View commit details
    Browse the repository at this point in the history

  5. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    bd9f807 View commit details
    Browse the repository at this point in the history

  6. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    b0cce3b View commit details
    Browse the repository at this point in the history

  7. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    824e427 View commit details
    Browse the repository at this point in the history

  8. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Dec 14, 2018
    Configuration menu
    Copy the full SHA
    aeeafd0 View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2018

  1. Fix tab

    @feliam
    feliam committed Dec 17, 2018
    Configuration menu
    Copy the full SHA
    0037c13 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2019

  1. Merge branch 'master' of github.com:trailofbits/manticore

    @feliam
    feliam committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    7dd4ca7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev-config-gas' of github.com:trailofbits/manticore int… 

    …o dev-config-gas
    @feliam
    feliam committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    a0f1c4d View commit details
    Browse the repository at this point in the history

  3. Documment check_jmpdest

    @feliam
    feliam committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    d6d1aa5 View commit details
    Browse the repository at this point in the history

  4. Remove unnecesary local var

    @feliam
    feliam committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    56f456d View commit details
    Browse the repository at this point in the history

  5. Fix get_memfee arguments

    @feliam
    feliam committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    9679407 View commit details
    Browse the repository at this point in the history

  6. Change docstrings comments

    @feliam
    feliam committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    489c5ab View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2019

  1. Fix concrete gas consumption for accesses with size 0 (Frontier). Fix… 

    … auto tests maker.
    @feliam
    feliam committed Jan 4, 2019
    Configuration menu
    Copy the full SHA
    d674107 View commit details
    Browse the repository at this point in the history

  2. Add comment of deleted constant

    @feliam
    feliam committed Jan 4, 2019
    Configuration menu
    Copy the full SHA
    7a63655 View commit details
    Browse the repository at this point in the history

  3. CC

    @feliam
    feliam committed Jan 4, 2019
    Configuration menu
    Copy the full SHA
    5d89754 View commit details
    Browse the repository at this point in the history

  4. merge

    @feliam
    feliam committed Jan 4, 2019
    Configuration menu
    Copy the full SHA
    01029df View commit details
    Browse the repository at this point in the history

  5. fix merged test and add gas to vm.__str__

    @feliam
    feliam committed Jan 4, 2019
    Configuration menu
    Copy the full SHA
    c29305f View commit details
    Browse the repository at this point in the history

  6. Update evm.__str__ related tests

    @feliam
    feliam committed Jan 4, 2019
    Configuration menu
    Copy the full SHA
    259ed3f View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2019

  1. Try to fix/update output checking test

    @feliam
    feliam committed Jan 5, 2019
    Configuration menu
    Copy the full SHA
    4e1e7dd View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2019

  1. docstring OCD

    @feliam
    feliam committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    fa7b7c2 View commit details
    Browse the repository at this point in the history

  2. Update manticore/platforms/evm.py 

    Co-Authored-By: feliam <felipe.andres.manzano@gmail.com>
    @disconnect3d @feliam
    disconnect3d and feliam committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    48579b6 View commit details
    Browse the repository at this point in the history

  3. docstring SOCD and fix oog config var

    @feliam
    feliam committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    7657625 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'dev-config-gas' of github.com:trailofbits/manticore int… 

    …o dev-config-gas
    @feliam
    feliam committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    45b80e3 View commit details
    Browse the repository at this point in the history

  5. Fix oog config variable

    @feliam
    feliam committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    55dd629 View commit details
    Browse the repository at this point in the history

  6. Fix CC

    @feliam
    feliam committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    67607b8 View commit details
    Browse the repository at this point in the history

  7. Typo: ammmmount

    @feliam
    feliam committed Jan 7, 2019
    Configuration menu
    Copy the full SHA
    35a899b View commit details
    Browse the repository at this point in the history