Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Add support for bounded static analysis #412

Merged
merged 90 commits into from
May 2, 2016
Merged

Add support for bounded static analysis #412

merged 90 commits into from
May 2, 2016

Commits on Nov 3, 2015

  1. Fix build warning.

    @wuestholz
    wuestholz committed Nov 3, 2015
    Configuration menu
    Copy the full SHA
    fbc26af View commit details
    Browse the repository at this point in the history

  2. Fix build error in VS 2015.

    @wuestholz
    wuestholz committed Nov 3, 2015
    Configuration menu
    Copy the full SHA
    10631af View commit details
    Browse the repository at this point in the history

  3. Fix build warning in VS 2015.

    @wuestholz
    wuestholz committed Nov 3, 2015
    Configuration menu
    Copy the full SHA
    1af11e8 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2015

  1. Merge pull request microsoft#2 from wuestholz/master 

    Fix some build errors/warnings in VS 2015.
    Maria Christakis committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    ab6fbac View commit details
    Browse the repository at this point in the history

  2. Minor change to solution file.

    Maria Christakis committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    ccdd286 View commit details
    Browse the repository at this point in the history

  3. Minor change to disable warnings across configurations consistently.

    Maria Christakis committed Nov 4, 2015
    Configuration menu
    Copy the full SHA
    4993ba1 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2015

  1. Minor change to disable warnings based on VS version.

    Maria Christakis committed Nov 5, 2015
    Configuration menu
    Copy the full SHA
    31556c1 View commit details
    Browse the repository at this point in the history

  2. Minor change to platform and configuration.

    Maria Christakis committed Nov 5, 2015
    Configuration menu
    Copy the full SHA
    3e0ea54 View commit details
    Browse the repository at this point in the history

  3. Added symbolic ticks for timeouts.

    Maria Christakis committed Nov 5, 2015
    Configuration menu
    Copy the full SHA
    4b99680 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2015

  1. Enabled symbolic timeouts.

    Maria Christakis committed Nov 23, 2015
    Configuration menu
    Copy the full SHA
    7ca74eb View commit details
    Browse the repository at this point in the history

  2. Enabled some Clousot tests.

    Maria Christakis committed Nov 23, 2015
    Configuration menu
    Copy the full SHA
    64c9017 View commit details
    Browse the repository at this point in the history

  3. Commented out some tests.

    Maria Christakis committed Nov 23, 2015
    Configuration menu
    Copy the full SHA
    170760c View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2015

  1. Improve support for symbolic timeouts (with Maria).

    @wuestholz
    wuestholz committed Dec 1, 2015
    Configuration menu
    Copy the full SHA
    e5576e5 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2015

  1. Added an analysis controller.

    Maria Christakis committed Dec 3, 2015
    Configuration menu
    Copy the full SHA
    dbd458b View commit details
    Browse the repository at this point in the history

  2. Started fleshing out the analysis controller.

    Maria Christakis committed Dec 3, 2015
    Configuration menu
    Copy the full SHA
    d1e9753 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2015

  1. Enabled multiple time slots for the analysis.

    Maria Christakis committed Dec 4, 2015
    Configuration menu
    Copy the full SHA
    4cec9fb View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2015

  1. Started enabling depth for joins.

    Maria Christakis committed Dec 5, 2015
    Configuration menu
    Copy the full SHA
    b7c0095 View commit details
    Browse the repository at this point in the history

  2. Enabled depth for joins.

    Maria Christakis committed Dec 5, 2015
    Configuration menu
    Copy the full SHA
    b28541c View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2015

  1. Improved handling of symbolic timeouts and joins.

    Maria Christakis committed Dec 9, 2015
    Configuration menu
    Copy the full SHA
    163fda5 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2015

  1. Enabled depth for widenings.

    Maria Christakis committed Dec 10, 2015
    Configuration menu
    Copy the full SHA
    bafd4c3 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2015

  1. Enabled depth for calls.

    Maria Christakis committed Dec 11, 2015
    Configuration menu
    Copy the full SHA
    3110ad4 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2015

  1. Add counter for possible sources of imprecision.

    @wuestholz
    wuestholz committed Dec 15, 2015
    Configuration menu
    Copy the full SHA
    f38d81e View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2015

  1. Add statistics about imprecision.

    @wuestholz
    wuestholz committed Dec 22, 2015
    Configuration menu
    Copy the full SHA
    4b3fb90 View commit details
    Browse the repository at this point in the history

  2. Enabled depth for calls.

    Maria Christakis committed Dec 22, 2015
    Configuration menu
    Copy the full SHA
    5c05efc View commit details
    Browse the repository at this point in the history

  3. Merge.

    Maria Christakis committed Dec 22, 2015
    Configuration menu
    Copy the full SHA
    f42abe7 View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2016

  1. Improve precision of abstract interpreter for modulo operations.

    @wuestholz
    wuestholz committed Jan 14, 2016
    Configuration menu
    Copy the full SHA
    291d3b8 View commit details
    Browse the repository at this point in the history

  2. Improve handling of bounds in DFA.

    @wuestholz
    wuestholz committed Jan 14, 2016
    Configuration menu
    Copy the full SHA
    d7dd195 View commit details
    Browse the repository at this point in the history

  3. Add trace output for suspended program points.

    @wuestholz
    wuestholz committed Jan 14, 2016
    Configuration menu
    Copy the full SHA
    66f9f88 View commit details
    Browse the repository at this point in the history

  4. Minor change

    @wuestholz
    wuestholz committed Jan 14, 2016
    Configuration menu
    Copy the full SHA
    662b22a View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2016

  1. Improve CSV output for imprecisions.

    @wuestholz
    wuestholz committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    e63b122 View commit details
    Browse the repository at this point in the history

  2. Include time in CSV output for imprecisions.

    @wuestholz
    wuestholz committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    35a0a6c View commit details
    Browse the repository at this point in the history

  3. Minor change

    @wuestholz
    wuestholz committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    d8c3142 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' of https://bitbucket.org/chmaria/clousot

    Maria Christakis committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    e081c58 View commit details
    Browse the repository at this point in the history

  5. Minor fix

    @wuestholz
    wuestholz committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    bc18ed6 View commit details
    Browse the repository at this point in the history

  6. Add tests for calls to the test suite.

    @wuestholz
    wuestholz committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    ae583b3 View commit details
    Browse the repository at this point in the history

  7. Add a todo.

    @wuestholz
    wuestholz committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    9ee534a View commit details
    Browse the repository at this point in the history

  8. Do some refactoring.

    @wuestholz
    wuestholz committed Jan 15, 2016
    Configuration menu
    Copy the full SHA
    1c590c4 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2016

  1. Make it create a fresh DFA controller per analysis.

    @wuestholz
    wuestholz committed Jan 17, 2016
    Configuration menu
    Copy the full SHA
    2871f54 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2016

  1. Make it not bound calls with no modified locations.

    @wuestholz
    wuestholz committed Jan 18, 2016
    Configuration menu
    Copy the full SHA
    ba65771 View commit details
    Browse the repository at this point in the history

  2. Address todo in a test.

    @wuestholz
    wuestholz committed Jan 18, 2016
    Configuration menu
    Copy the full SHA
    17a382f View commit details
    Browse the repository at this point in the history

  3. Add more tests.

    @wuestholz
    wuestholz committed Jan 18, 2016
    Configuration menu
    Copy the full SHA
    9c62cd6 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2016

  1. Add tests.

    @wuestholz
    wuestholz committed Jan 19, 2016
    Configuration menu
    Copy the full SHA
    91cd760 View commit details
    Browse the repository at this point in the history

  2. Do some cleanup.

    @wuestholz
    wuestholz committed Jan 19, 2016
    Configuration menu
    Copy the full SHA
    f8841b3 View commit details
    Browse the repository at this point in the history

  3. Do some cleanup.

    @wuestholz
    wuestholz committed Jan 19, 2016
    Configuration menu
    Copy the full SHA
    0438049 View commit details
    Browse the repository at this point in the history

  4. Do some cleanup.

    @wuestholz
    wuestholz committed Jan 19, 2016
    Configuration menu
    Copy the full SHA
    cdde0b2 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2016

  1. Add tests for bounded contract inference.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    7df745c View commit details
    Browse the repository at this point in the history

  2. Eliminate trailing whitespace.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    21289c2 View commit details
    Browse the repository at this point in the history

  3. Minor changes

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    240fcf9 View commit details
    Browse the repository at this point in the history

  4. Drop methods 'Pause' and 'Resume' in class 'TimeOutChecker'.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    33b7980 View commit details
    Browse the repository at this point in the history

  5. Enable DFA bounds for more analyses.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    dd16e9e View commit details
    Browse the repository at this point in the history

  6. Drop field 'CurrentState' from class 'DFAController'.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    4640c3e View commit details
    Browse the repository at this point in the history

  7. Do some refactoring.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    aee846d View commit details
    Browse the repository at this point in the history

  8. Make it write to CSV file when reaching end of analysis.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    ac425bd View commit details
    Browse the repository at this point in the history

  9. Add support for bounding number of analysis steps.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    a5ba031 View commit details
    Browse the repository at this point in the history

  10. Make options more consistent.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    68399a0 View commit details
    Browse the repository at this point in the history

  11. Move some tests.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    eaede46 View commit details
    Browse the repository at this point in the history

  12. Minor refactoring

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    3132c95 View commit details
    Browse the repository at this point in the history

  13. Minor refactoring

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    75aa955 View commit details
    Browse the repository at this point in the history

  14. Remove symbolic timeouts.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    a3410b8 View commit details
    Browse the repository at this point in the history

  15. Do some cleanup.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    e64f223 View commit details
    Browse the repository at this point in the history

  16. Fix issue with error counting in CSV output.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    1633c87 View commit details
    Browse the repository at this point in the history

  17. Extend the CSV analysis statistics.

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    f968402 View commit details
    Browse the repository at this point in the history

  18. Minor change

    @wuestholz
    wuestholz committed Jan 20, 2016
    Configuration menu
    Copy the full SHA
    861be3e View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2016

  1. Make it log all operations that may result in imprecision.

    @wuestholz
    wuestholz committed Jan 21, 2016
    Configuration menu
    Copy the full SHA
    0f8f547 View commit details
    Browse the repository at this point in the history

  2. Minor changes

    @wuestholz
    wuestholz committed Jan 21, 2016
    Configuration menu
    Copy the full SHA
    a69c883 View commit details
    Browse the repository at this point in the history

  3. Minor changes

    @wuestholz
    wuestholz committed Jan 21, 2016
    Configuration menu
    Copy the full SHA
    ea62c7b View commit details
    Browse the repository at this point in the history

  4. Fix minor issue.

    @wuestholz
    wuestholz committed Jan 21, 2016
    Configuration menu
    Copy the full SHA
    1b58b9a View commit details
    Browse the repository at this point in the history

  5. Extend the CSV output.

    @wuestholz
    wuestholz committed Jan 21, 2016
    Configuration menu
    Copy the full SHA
    d4c661d View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2016

  1. Extend the CSV output.

    @wuestholz
    wuestholz committed Jan 22, 2016
    Configuration menu
    Copy the full SHA
    84b1b47 View commit details
    Browse the repository at this point in the history

  2. Minor changes

    @wuestholz
    wuestholz committed Jan 22, 2016
    Configuration menu
    Copy the full SHA
    fc2a737 View commit details
    Browse the repository at this point in the history

  3. Minor changes

    @wuestholz
    wuestholz committed Jan 22, 2016
    Configuration menu
    Copy the full SHA
    ada5541 View commit details
    Browse the repository at this point in the history

  4. Add checking mode for DFA controller.

    @wuestholz
    wuestholz committed Jan 22, 2016
    Configuration menu
    Copy the full SHA
    cbbe9f6 View commit details
    Browse the repository at this point in the history

  5. Extend CSV output.

    @wuestholz
    wuestholz committed Jan 22, 2016
    Configuration menu
    Copy the full SHA
    b1b37f4 View commit details
    Browse the repository at this point in the history

  6. Extend CSV output.

    @wuestholz
    wuestholz committed Jan 22, 2016
    Configuration menu
    Copy the full SHA
    5935287 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2016

  1. Make it use a synchronized 'TextWriter' for the CSV output.

    @wuestholz
    wuestholz committed Jan 23, 2016
    Configuration menu
    Copy the full SHA
    8c223ea View commit details
    Browse the repository at this point in the history

  2. Minor change

    @wuestholz
    wuestholz committed Jan 23, 2016
    Configuration menu
    Copy the full SHA
    86149e5 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2016

  1. Extend CSV output.

    @wuestholz
    wuestholz committed Jan 24, 2016
    Configuration menu
    Copy the full SHA
    cc1a491 View commit details
    Browse the repository at this point in the history

  2. Change how the CSV file is accessed.

    @wuestholz
    wuestholz committed Jan 24, 2016
    Configuration menu
    Copy the full SHA
    ebc1dd1 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2016

  1. Minor fix in CSV output

    @wuestholz
    wuestholz committed Jan 26, 2016
    Configuration menu
    Copy the full SHA
    7a482ca View commit details
    Browse the repository at this point in the history

  2. Fix an issue.

    @wuestholz
    wuestholz committed Jan 26, 2016
    Configuration menu
    Copy the full SHA
    a475a27 View commit details
    Browse the repository at this point in the history

  3. Fix more issues.

    @wuestholz
    wuestholz committed Jan 26, 2016
    Configuration menu
    Copy the full SHA
    7e78df5 View commit details
    Browse the repository at this point in the history

  4. Minor change

    @wuestholz
    wuestholz committed Jan 26, 2016
    Configuration menu
    Copy the full SHA
    a5a9b49 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2016

  1. Minor refactoring

    @wuestholz
    wuestholz committed Feb 3, 2016
    Configuration menu
    Copy the full SHA
    080baa7 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2016

  1. Add new option '/maxFieldReads'.

    @wuestholz
    wuestholz committed Feb 8, 2016
    Configuration menu
    Copy the full SHA
    db43eae View commit details
    Browse the repository at this point in the history

  2. Fix minor issue.

    @wuestholz
    wuestholz committed Feb 8, 2016
    Configuration menu
    Copy the full SHA
    5c9cb2a View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2016

  1. Merge https://github.com/Microsoft/CodeContracts

    @wuestholz
    wuestholz committed Mar 15, 2016
    Configuration menu
    Copy the full SHA
    90764e8 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2016

  1. Add license header to test program files.

    @wuestholz
    wuestholz committed Mar 16, 2016
    Configuration menu
    Copy the full SHA
    84347fa View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2016

  1. Extend the CSV output.

    @wuestholz
    wuestholz committed Mar 24, 2016
    Configuration menu
    Copy the full SHA
    566fdfb View commit details
    Browse the repository at this point in the history

Commits on May 2, 2016

  1. Merge https://github.com/Microsoft/CodeContracts

    @wuestholz
    wuestholz committed May 2, 2016
    Configuration menu
    Copy the full SHA
    a334dbf View commit details
    Browse the repository at this point in the history

  2. Minor fix

    @wuestholz
    wuestholz committed May 2, 2016
    Configuration menu
    Copy the full SHA
    fddedc7 View commit details
    Browse the repository at this point in the history