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

Symbolic tests rf #1431

Merged
merged 80 commits into from
May 17, 2019
Merged

Symbolic tests rf #1431

merged 80 commits into from
May 17, 2019

Commits on Jan 17, 2019

  1. Add assertions to auto test gen

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

Commits on Jan 21, 2019

  1. Add symbolic tests

    @disconnect3d
    disconnect3d committed Jan 21, 2019
    Configuration menu
    Copy the full SHA
    e1e2838 View commit details
    Browse the repository at this point in the history

  2. Make calldata symbolic

    @disconnect3d
    disconnect3d committed Jan 21, 2019
    Configuration menu
    Copy the full SHA
    39789d5 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2019

  1. EVM: Support exp aka pow (#1361) 

    * EVM: Add support for EXP with concrete/solvable exponent

Adds support for EXP aka POW, with concrete or solvable exponent, fixing #1005 effectively.

Not sure if we can do it any better - it seems z3 doesn't have exp/pow for bitvectors.

* Update operators.py

* Update evm.py

* Use concretized_args

* Move Operators.POW to EVM._exp

* Extend travis wait for output to 30m

* Extend travis build to 60m...

* Fix Operators.ITE -> Operators.ITEBV

* Split ethereum travis job to two jobs

* EVM.EXP: concretize base=SAMPLED

* Fix concrete tests: use to_constant

* Fix set storage in concrete tests
    @disconnect3d
    disconnect3d committed Feb 11, 2019
    Configuration menu
    Copy the full SHA
    20a982f View commit details
    Browse the repository at this point in the history

  2. Split ethereum_vm tests into concrete and symbolic

    @disconnect3d
    disconnect3d committed Feb 11, 2019
    Configuration menu
    Copy the full SHA
    167c354 View commit details
    Browse the repository at this point in the history

  3. Fix travis tests

    @disconnect3d
    disconnect3d committed Feb 11, 2019
    Configuration menu
    Copy the full SHA
    267ca6c View commit details
    Browse the repository at this point in the history

  4. Split symbolic tests into two jobs

    @disconnect3d
    disconnect3d committed Feb 11, 2019
    Configuration menu
    Copy the full SHA
    b0da22e View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2019

  1. Split VMTests even more

    @disconnect3d
    disconnect3d committed Feb 12, 2019
    Configuration menu
    Copy the full SHA
    60c0053 View commit details
    Browse the repository at this point in the history

  2. More tests split

    @disconnect3d
    disconnect3d committed Feb 12, 2019
    Configuration menu
    Copy the full SHA
    4c78ea8 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2019

  1. [WIP][WIP][WIP] Moving executor functionality to ManticoreBase and re… 

    …factor concurrency shared data
    @feliam
    feliam committed Mar 7, 2019
    Configuration menu
    Copy the full SHA
    75a0f25 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2019

  1. Workspace locks

    @feliam
    feliam committed Mar 12, 2019
    Configuration menu
    Copy the full SHA
    6fd87c3 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2019

  1. Concurrency flavor configurable from commandline

    @feliam
    feliam committed Mar 14, 2019
    Configuration menu
    Copy the full SHA
    fa7785b View commit details
    Browse the repository at this point in the history

  2. Asserts and refactorrrrrrrs

    @feliam
    feliam committed Mar 14, 2019
    Configuration menu
    Copy the full SHA
    74209fe View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2019

  1. Remove unused callback

    @feliam
    feliam committed Mar 18, 2019
    Configuration menu
    Copy the full SHA
    3749ab7 View commit details
    Browse the repository at this point in the history

  2. Some CC

    @feliam
    feliam committed Mar 18, 2019
    Configuration menu
    Copy the full SHA
    1e61fc7 View commit details
    Browse the repository at this point in the history

  3. Some CC

    @feliam
    feliam committed Mar 18, 2019
    Configuration menu
    Copy the full SHA
    d0b6301 View commit details
    Browse the repository at this point in the history

  4. Some CC

    @feliam
    feliam committed Mar 18, 2019
    Configuration menu
    Copy the full SHA
    1a1d9e1 View commit details
    Browse the repository at this point in the history

  5. Fix solver vs Z3Solver

    @feliam
    feliam committed Mar 18, 2019
    Configuration menu
    Copy the full SHA
    8730d0f View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2019

  1. Make solver a singleton based on tid/pid. REfactor m._save. Fix some … 

    …tests
    @feliam
    feliam committed Mar 20, 2019
    Configuration menu
    Copy the full SHA
    b19d267 View commit details
    Browse the repository at this point in the history

  2. typo and evm bugfix

    @feliam
    feliam committed Mar 20, 2019
    Configuration menu
    Copy the full SHA
    32fb373 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2019

  1. Fix some tests referecing global solver

    @feliam
    feliam committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    84cccb6 View commit details
    Browse the repository at this point in the history

  2. Fix concolic tests and more global solver refs

    @feliam
    feliam committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    b8f96b2 View commit details
    Browse the repository at this point in the history

  3. Fix tests

    @feliam
    feliam committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    e8d918a View commit details
    Browse the repository at this point in the history

  4. CC fixes

    @feliam
    feliam committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    ce4c0fd View commit details
    Browse the repository at this point in the history

  5. Fix tests. Fix testcase id generation

    @feliam
    feliam committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    d6eb5c7 View commit details
    Browse the repository at this point in the history

  6. Move profiling to a plugin and fix tests

    @feliam
    feliam committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    a7c083e View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2019

  1. Add solver intance ref to mem test

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

Commits on Mar 25, 2019

  1. Fix mem workspace tests

    @feliam
    feliam committed Mar 25, 2019
    Configuration menu
    Copy the full SHA
    86446bf View commit details
    Browse the repository at this point in the history

  2. Fix output checking tests

    @feliam
    feliam committed Mar 25, 2019
    Configuration menu
    Copy the full SHA
    946e69c View commit details
    Browse the repository at this point in the history

  3. Fix z3solver ref

    @feliam
    feliam committed Mar 25, 2019
    Configuration menu
    Copy the full SHA
    943dfbe View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2019

  1. Relax verbosity/log tests

    @feliam
    feliam committed Mar 26, 2019
    Configuration menu
    Copy the full SHA
    df387b1 View commit details
    Browse the repository at this point in the history

  2. Moved Workers to its own file

    @feliam
    feliam committed Mar 26, 2019
    Configuration menu
    Copy the full SHA
    0203531 View commit details
    Browse the repository at this point in the history

  3. Relax output tests

    @feliam
    feliam committed Mar 26, 2019
    Configuration menu
    Copy the full SHA
    b8eb691 View commit details
    Browse the repository at this point in the history

  4. Relax output tests

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

  5. Fix profiling test

    @feliam
    feliam committed Mar 26, 2019
    Configuration menu
    Copy the full SHA
    5e22b41 View commit details
    Browse the repository at this point in the history

  6. merge

    @feliam
    feliam committed Mar 26, 2019
    Configuration menu
    Copy the full SHA
    6482053 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2019

  1. Fix more tests

    @feliam
    feliam committed Mar 27, 2019
    Configuration menu
    Copy the full SHA
    dc73fc2 View commit details
    Browse the repository at this point in the history

  2. Default multiprocessing

    @feliam
    feliam committed Mar 27, 2019
    Configuration menu
    Copy the full SHA
    1ec6044 View commit details
    Browse the repository at this point in the history

  3. Try to clean mcore __del__

    @feliam
    feliam committed Mar 27, 2019
    Configuration menu
    Copy the full SHA
    9ebb3b4 View commit details
    Browse the repository at this point in the history

  4. Change Worker life span

    @feliam
    feliam committed Mar 27, 2019
    Configuration menu
    Copy the full SHA
    6889f4d View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2019

  1. Fix Single mode

    @feliam
    feliam committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    9d4b2e1 View commit details
    Browse the repository at this point in the history

  2. CC

    @feliam
    feliam committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    f9dfa4c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into dev-executor-refactor

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

Commits on Mar 29, 2019

  1. revert verbosity travis

    @feliam
    feliam committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    8c6155e View commit details
    Browse the repository at this point in the history

  2. CC and solver ref fix

    @feliam
    feliam committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    ff3941a View commit details
    Browse the repository at this point in the history

  3. Relax ouput checking tests and some bugfixes

    @feliam
    feliam committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    b304ad2 View commit details
    Browse the repository at this point in the history

  4. running -> ready

    @feliam
    feliam committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    449ec92 View commit details
    Browse the repository at this point in the history

  5. Fixing teeests

    @feliam
    feliam committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    c02b4ee View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2019

  1. add weak cache to _load

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

  2. del debug prints

    @feliam
    feliam committed Mar 30, 2019
    Configuration menu
    Copy the full SHA
    ba35d64 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2019

  1. Adding config.py support for Enums

    @feliam
    feliam committed Apr 8, 2019
    Configuration menu
    Copy the full SHA
    1959066 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2019

  1. Try/Remove generate_testcase event as it never occurs online. Fix tests

    @feliam
    feliam committed Apr 9, 2019
    Configuration menu
    Copy the full SHA
    fb1f798 View commit details
    Browse the repository at this point in the history

  2. Fix CC

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

Commits on Apr 12, 2019

  1. Kill the cache when start/stop run. Remove debugprints. clean tests

    @feliam
    feliam committed Apr 12, 2019
    Configuration menu
    Copy the full SHA
    110f7e6 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2019

  1. Fix travis test _other_

    @feliam
    feliam committed Apr 16, 2019
    Configuration menu
    Copy the full SHA
    78665f1 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2019

  1. Fix native tests and timeout

    @feliam
    feliam committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    62938fd View commit details
    Browse the repository at this point in the history

  2. Fix state.must_be_true

    @feliam
    feliam committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    ea7bac0 View commit details
    Browse the repository at this point in the history

  3. fix CC

    @feliam
    feliam committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    15dd6cb View commit details
    Browse the repository at this point in the history

  4. Merge and fix more tests

    @feliam
    feliam committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    da71509 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2019

  1. Changing fstat tets...: 

    ~'
    @feliam
    feliam committed Apr 22, 2019
    Configuration menu
    Copy the full SHA
    a6c9bf2 View commit details
    Browse the repository at this point in the history

  2. LLLLLLLLinux tests

    @feliam
    feliam committed Apr 22, 2019
    Configuration menu
    Copy the full SHA
    8ff874f View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2019

  1. Skip unicorn concrete test for now

    @feliam
    feliam committed Apr 25, 2019
    Configuration menu
    Copy the full SHA
    8ef7246 View commit details
    Browse the repository at this point in the history

  2. Try fix CodeClimate

    @feliam
    feliam committed Apr 25, 2019
    Configuration menu
    Copy the full SHA
    1b83156 View commit details
    Browse the repository at this point in the history

  3. Try fix CodeClimate

    @feliam
    feliam committed Apr 25, 2019
    Configuration menu
    Copy the full SHA
    8d8c1d5 View commit details
    Browse the repository at this point in the history

  4. Update evm examples to newest solidity

    @feliam
    feliam committed Apr 25, 2019
    Configuration menu
    Copy the full SHA
    ed251fb View commit details
    Browse the repository at this point in the history

  5. Complete transformation of consts.mprocessing to enum

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

Commits on Apr 26, 2019

  1. Add blank line (codeclimate)

    Eric Hennenfent committed Apr 26, 2019
    Configuration menu
    Copy the full SHA
    e6cf11d View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2019

  1. Using the enum instead of the string

    @feliam
    feliam committed Apr 30, 2019
    Configuration menu
    Copy the full SHA
    1c25bff View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev-executor-refactor' of github.com:trailofbits/mantic… 

    …ore into dev-executor-refactor
    @feliam
    feliam committed Apr 30, 2019
    Configuration menu
    Copy the full SHA
    ee9bb2c View commit details
    Browse the repository at this point in the history

  3. Using the enum instead of the string

    @feliam
    feliam committed Apr 30, 2019
    Configuration menu
    Copy the full SHA
    cb5d416 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2019

  1. Merge branch 'master' into symbolic-tests

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

  2. fix conflicts

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

Commits on May 9, 2019

  1. Merge and fix

    @feliam
    feliam committed May 9, 2019
    Configuration menu
    Copy the full SHA
    d1fa6b5 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2019

  1. merge

    @feliam
    feliam committed May 10, 2019
    Configuration menu
    Copy the full SHA
    813e4f5 View commit details
    Browse the repository at this point in the history

  2. CC and debug print

    @feliam
    feliam committed May 10, 2019
    Configuration menu
    Copy the full SHA
    a2c8974 View commit details
    Browse the repository at this point in the history

  3. Move fee consumption to checkpoint so it is not done twice. Fix front… 

    …ier test generator
    @feliam
    feliam committed May 10, 2019
    Configuration menu
    Copy the full SHA
    425f8cc View commit details
    Browse the repository at this point in the history

Commits on May 16, 2019

  1. Fix Job Count (and force travis rebuild) 

    ```
0.02s$ ./cc-test-reporter sum-coverage --output - --parts $JOB_COUNT coverage/codeclimate.*.json | ./cc-test-reporter upload-coverage --input -
Error: expected 3 parts, received 4 parts
```
    Eric Hennenfent committed May 16, 2019
    Configuration menu
    Copy the full SHA
    b9fa459 View commit details
    Browse the repository at this point in the history

  2. Add tx number to testcase log

    @feliam
    feliam committed May 16, 2019
    Configuration menu
    Copy the full SHA
    8333f30 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'symbolic-tests-rf' of github.com:trailofbits/manticore … 

    …into symbolic-tests-rf
    @feliam
    feliam committed May 16, 2019
    Configuration menu
    Copy the full SHA
    f4cfc8a View commit details
    Browse the repository at this point in the history

Commits on May 17, 2019

  1. Del test verbosity

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