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

Manticore verifier #1717

Merged
merged 116 commits into from
Jun 26, 2020
Merged

Manticore verifier #1717

merged 116 commits into from
Jun 26, 2020

Commits on May 13, 2020

  1. Add ONE failing test

    @feliam
    feliam committed May 13, 2020
    Configuration menu
    Copy the full SHA
    0cd1bc5 View commit details
    Browse the repository at this point in the history

  2. Fix test

    @feliam
    feliam committed May 13, 2020
    Configuration menu
    Copy the full SHA
    609a37e View commit details
    Browse the repository at this point in the history

  3. Try fix get-related

    @feliam
    feliam committed May 13, 2020
    Configuration menu
    Copy the full SHA
    b29f3ac View commit details
    Browse the repository at this point in the history

Commits on May 15, 2020

  1. Snapshots

    @feliam
    feliam committed May 15, 2020
    Configuration menu
    Copy the full SHA
    5bad00f View commit details
    Browse the repository at this point in the history

Commits on May 17, 2020

  1. CC

    @feliam
    feliam committed May 17, 2020
    Configuration menu
    Copy the full SHA
    5bb6e48 View commit details
    Browse the repository at this point in the history

  2. Allow snapshooting just from main()

    @feliam
    feliam committed May 17, 2020
    Configuration menu
    Copy the full SHA
    f78e1c2 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2020

  1. A test

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

  2. Test and fix is_main

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

  3. CC

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

Commits on May 26, 2020

  1. review

    @feliam
    feliam committed May 26, 2020
    Configuration menu
    Copy the full SHA
    384de08 View commit details
    Browse the repository at this point in the history

  2. ismain vs is_running

    @feliam
    feliam committed May 26, 2020
    Configuration menu
    Copy the full SHA
    d044b07 View commit details
    Browse the repository at this point in the history

  3. is main to is main script

    @feliam
    feliam committed May 26, 2020
    Configuration menu
    Copy the full SHA
    ec8440e View commit details
    Browse the repository at this point in the history

Commits on May 27, 2020

  1. Remove unused member variable

    @feliam
    feliam committed May 27, 2020
    Configuration menu
    Copy the full SHA
    25d8b26 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into dev-checkpoints

    @feliam
    feliam committed May 27, 2020
    Configuration menu
    Copy the full SHA
    62360a0 View commit details
    Browse the repository at this point in the history

  3. initial import manticore verifier

    @feliam
    feliam committed May 27, 2020
    Configuration menu
    Copy the full SHA
    f912266 View commit details
    Browse the repository at this point in the history

  4. Fix verifier installation

    @feliam
    feliam committed May 27, 2020
    Configuration menu
    Copy the full SHA
    63557e5 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2020

  1. clear ready states

    @feliam
    feliam committed May 28, 2020
    Configuration menu
    Copy the full SHA
    b49f4af View commit details
    Browse the repository at this point in the history

  2. CC and smoke test

    @feliam
    feliam committed May 28, 2020
    Configuration menu
    Copy the full SHA
    f275e3a View commit details
    Browse the repository at this point in the history

  3. CC

    @feliam
    feliam committed May 28, 2020
    Configuration menu
    Copy the full SHA
    84f1e5a View commit details
    Browse the repository at this point in the history

  4. Increase cov

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

Commits on Jun 2, 2020

  1. Move regression to other

    @feliam
    feliam committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    79aa5cc View commit details
    Browse the repository at this point in the history

  2. blkn

    @feliam
    feliam committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    7339eb9 View commit details
    Browse the repository at this point in the history

  3. blkn

    @feliam
    feliam committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    c121c38 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2020

  1. Move get related

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    3ff6b95 View commit details
    Browse the repository at this point in the history

  2. merge

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    4414987 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into dev-get-related

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    02b4c69 View commit details
    Browse the repository at this point in the history

  4. CC

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    00e8199 View commit details
    Browse the repository at this point in the history

  5. fix concolic

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    6b7f671 View commit details
    Browse the repository at this point in the history

  6. lint

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    6732eb2 View commit details
    Browse the repository at this point in the history

  7. DivByZero default to zero

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    4adeac2 View commit details
    Browse the repository at this point in the history

  8. blkn

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    7565b4a View commit details
    Browse the repository at this point in the history

  9. Update manticore/core/smtlib/solver.py 

    Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com>
    @feliam @ekilmer
    feliam and ekilmer committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    1680397 View commit details
    Browse the repository at this point in the history

  10. Update manticore/core/smtlib/constraints.py 

    Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com>
    @feliam @ekilmer
    feliam and ekilmer committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    cbe55b9 View commit details
    Browse the repository at this point in the history

  11. Update manticore/core/smtlib/constraints.py 

    Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com>
    @feliam @ekilmer
    feliam and ekilmer committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    315ef64 View commit details
    Browse the repository at this point in the history

  12. remove odd string

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    6155a4d View commit details
    Browse the repository at this point in the history

  13. Merge branch 'dev-get-related' of github.com:trailofbits/manticore in… 

    …to dev-get-related
    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    38dbfd6 View commit details
    Browse the repository at this point in the history

  14. lint

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    1491cbd View commit details
    Browse the repository at this point in the history

  15. mypy lint

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    264eb04 View commit details
    Browse the repository at this point in the history

  16. Update manticore/core/smtlib/visitors.py 

    Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com>
    @feliam @ekilmer
    feliam and ekilmer committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    e0130a4 View commit details
    Browse the repository at this point in the history

  17. lint

    @feliam
    feliam committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    d0e9abf View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2020

  1. Add Docs

    @feliam
    feliam committed Jun 8, 2020
    Configuration menu
    Copy the full SHA
    9807b37 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2020

  1. Merge branch 'master' into dev-get-related

    @feliam
    feliam committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    728e021 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into dev-verifier

    @feliam
    feliam committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    0630832 View commit details
    Browse the repository at this point in the history

  3. blkn

    @feliam
    feliam committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    5d30b13 View commit details
    Browse the repository at this point in the history

  4. merge

    @feliam
    feliam committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    e584fb2 View commit details
    Browse the repository at this point in the history

  5. blkn

    @feliam
    feliam committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    be0d2f5 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2020

  1. Replace modulo with masks

    Eric Hennenfent committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    bf3a2b9 View commit details
    Browse the repository at this point in the history

  2. Blacken

    Eric Hennenfent committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    3eb96f8 View commit details
    Browse the repository at this point in the history

  3. blkn

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    5e54189 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'dev-get-related' of github.com:trailofbits/manticore in… 

    …to dev-get-related
    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    a0ab429 View commit details
    Browse the repository at this point in the history

  5. fix mypy

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    536ec71 View commit details
    Browse the repository at this point in the history

  6. fix mypy

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    a83e8c2 View commit details
    Browse the repository at this point in the history

  7. merge

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    4447b87 View commit details
    Browse the repository at this point in the history

  8. More commandline arguments

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    36292fb View commit details
    Browse the repository at this point in the history

  9. Add tests for signed LT behavior

    Eric Hennenfent committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    37144d9 View commit details
    Browse the repository at this point in the history

  10. New test

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    1b8754d View commit details
    Browse the repository at this point in the history

  11. Fix constant folding

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    787e51f View commit details
    Browse the repository at this point in the history

  12. merge

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    dca9adb View commit details
    Browse the repository at this point in the history

  13. lint

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    dfa7a84 View commit details
    Browse the repository at this point in the history

  14. blkn

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    0ebece8 View commit details
    Browse the repository at this point in the history

  15. lint

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    b841038 View commit details
    Browse the repository at this point in the history

  16. Fixes...

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    fa2ef90 View commit details
    Browse the repository at this point in the history

  17. lint

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    735a963 View commit details
    Browse the repository at this point in the history

  18. Unittesting power

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    b54a448 View commit details
    Browse the repository at this point in the history

  19. Permisive read_buffer

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    02563cd View commit details
    Browse the repository at this point in the history

  20. Merge branch 'dev-get-related' into dev-verifier

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    1dcb9ed View commit details
    Browse the repository at this point in the history

  21. Fix optimize

    @feliam
    feliam committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    451ba59 View commit details
    Browse the repository at this point in the history

  22. Preserve precision in constant folding

    Eric Hennenfent committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    3fab981 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2020

  1. Strip left-in print debugging

    Eric Hennenfent committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    f7fb8bb View commit details
    Browse the repository at this point in the history

  2. blkn

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    2b05f8b View commit details
    Browse the repository at this point in the history

  3. remove wasm_sym temporarily

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    f9120de View commit details
    Browse the repository at this point in the history

  4. Better simplification for constants

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    a502b61 View commit details
    Browse the repository at this point in the history

  5. Add json

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    a7c3c18 View commit details
    Browse the repository at this point in the history

  6. blkn

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    816b29a View commit details
    Browse the repository at this point in the history

  7. Better commmandline args

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    9a15dff View commit details
    Browse the repository at this point in the history

  8. blkn

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    88318fe View commit details
    Browse the repository at this point in the history

  9. fix wasm

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    2f5d4d2 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'dev-get-related' of github.com:trailofbits/manticore in… 

    …to dev-get-related
    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    18064f8 View commit details
    Browse the repository at this point in the history

  11. Fix

    @feliam
    feliam committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    52d8eb4 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2020

  1. better commanlining

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    4eeb74b View commit details
    Browse the repository at this point in the history

  2. REmove get_related from the default path and fix arm test

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    f1dfb80 View commit details
    Browse the repository at this point in the history

  3. blkn

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    d5b577e View commit details
    Browse the repository at this point in the history

  4. fix related to tests

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    79b42ed View commit details
    Browse the repository at this point in the history

  5. blkn

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    ec8489f View commit details
    Browse the repository at this point in the history

  6. merge get-related

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    3377856 View commit details
    Browse the repository at this point in the history

  7. Fix bug in test and disable debug messages in Solver

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    2113a73 View commit details
    Browse the repository at this point in the history

  8. smtlib config to disable multiple check-sat in newer z3

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    c2a21ba View commit details
    Browse the repository at this point in the history

  9. Merge branch 'dev-get-related' into dev-verifier

    @feliam
    feliam committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    962d454 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2020

  1. Disable log test and fix merging poc vs variable migration

    @feliam
    feliam committed Jun 15, 2020
    Configuration menu
    Copy the full SHA
    f87e1e2 View commit details
    Browse the repository at this point in the history

  2. blkn

    @feliam
    feliam committed Jun 15, 2020
    Configuration menu
    Copy the full SHA
    2eb630d View commit details
    Browse the repository at this point in the history

  3. Avoid exception in some callbacks

    @feliam
    feliam committed Jun 15, 2020
    Configuration menu
    Copy the full SHA
    8818ea3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'dev-get-related' into dev-verifier

    @feliam
    feliam committed Jun 15, 2020
    Configuration menu
    Copy the full SHA
    ebb118e View commit details
    Browse the repository at this point in the history

  5. can_rais at did_will

    @feliam
    feliam committed Jun 15, 2020
    Configuration menu
    Copy the full SHA
    35b61d0 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2020

  1. yikes!

    @feliam
    feliam committed Jun 16, 2020
    Configuration menu
    Copy the full SHA
    009cad5 View commit details
    Browse the repository at this point in the history

  2. blkn

    @feliam
    feliam committed Jun 16, 2020
    Configuration menu
    Copy the full SHA
    12068eb View commit details
    Browse the repository at this point in the history

  3. Yices found one more states in truffle

    @feliam
    feliam committed Jun 16, 2020
    Configuration menu
    Copy the full SHA
    b1998ea View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2020

  1. merge

    @feliam
    feliam committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    d620bdc View commit details
    Browse the repository at this point in the history

  2. Add a config constant to ignore symbolic balances

    @feliam
    feliam committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    f3049ec View commit details
    Browse the repository at this point in the history

  3. Add a config constant to ignore symbolic balances 2

    @feliam
    feliam committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    ac86c60 View commit details
    Browse the repository at this point in the history

  4. Relax truffle state count

    @feliam
    feliam committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    cc3ee9d View commit details
    Browse the repository at this point in the history

  5. Relax truffle state count 2

    @feliam
    feliam committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    c25e363 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2020

  1. Change cli name and test

    @feliam
    feliam committed Jun 18, 2020
    Configuration menu
    Copy the full SHA
    0d070b1 View commit details
    Browse the repository at this point in the history

  2. Clear redy states in verifier workspace

    @feliam
    feliam committed Jun 18, 2020
    Configuration menu
    Copy the full SHA
    32ec10d View commit details
    Browse the repository at this point in the history

  3. Clear ready states in verifier workspace

    @feliam
    feliam committed Jun 18, 2020
    Configuration menu
    Copy the full SHA
    c982275 View commit details
    Browse the repository at this point in the history

  4. Relative ws path on verifier output. Clean CREATE testcase example

    @feliam
    feliam committed Jun 18, 2020
    Configuration menu
    Copy the full SHA
    81316aa View commit details
    Browse the repository at this point in the history

  5. Blkn

    @feliam
    feliam committed Jun 18, 2020
    Configuration menu
    Copy the full SHA
    d093783 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2020

  1. Merge branch 'master' into dev-verifier

    @feliam
    feliam committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    cfe4316 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2020

  1. Improve coverage and funcid solving

    @feliam
    feliam committed Jun 23, 2020
    Configuration menu
    Copy the full SHA
    5543e29 View commit details
    Browse the repository at this point in the history

  2. lint

    @feliam
    feliam committed Jun 23, 2020
    Configuration menu
    Copy the full SHA
    ec308e2 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2020

  1. Better testcase generation at verifier

    @feliam
    feliam committed Jun 24, 2020
    Configuration menu
    Copy the full SHA
    90de280 View commit details
    Browse the repository at this point in the history

  2. Better testcase generation at verifier and typos

    @feliam
    feliam committed Jun 24, 2020
    Configuration menu
    Copy the full SHA
    27fb790 View commit details
    Browse the repository at this point in the history

  3. merge

    @feliam
    feliam committed Jun 24, 2020
    Configuration menu
    Copy the full SHA
    8c80a1d View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2020

  1. Better output and default re

    @feliam
    feliam committed Jun 25, 2020
    Configuration menu
    Copy the full SHA
    08f39ae View commit details
    Browse the repository at this point in the history

  2. Test must revert

    @feliam
    feliam committed Jun 25, 2020
    Configuration menu
    Copy the full SHA
    d421061 View commit details
    Browse the repository at this point in the history

  3. Better output and default re

    @feliam
    feliam committed Jun 25, 2020
    Configuration menu
    Copy the full SHA
    1e362ac View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2020

  1. move generate_testcase_ex to private method

    @feliam
    feliam committed Jun 26, 2020
    Configuration menu
    Copy the full SHA
    6d4a8e3 View commit details
    Browse the repository at this point in the history