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

Extra tests and bug fixes to the delayed UB instrumentation #3419

Merged
merged 24 commits into from
Aug 28, 2024
Merged

Extra tests and bug fixes to the delayed UB instrumentation #3419

merged 24 commits into from
Aug 28, 2024

Commits on Aug 5, 2024

  1. Avoid corner-cases by grouping instrumentation into basic blocks

    @artemagvanian
    artemagvanian committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    130cfd5 View commit details
    Browse the repository at this point in the history

  2. Make sure we short-circuit correctly when encountering ZSTs in the pr… 

    …edicates
    @artemagvanian
    artemagvanian committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    e3993f9 View commit details
    Browse the repository at this point in the history

  3. Mitigate the case when delayed UB analysis returns false positives du… 

    …e to over-instrumentation
    @artemagvanian
    artemagvanian committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    43a884f View commit details
    Browse the repository at this point in the history

  4. Better comment explaining delayed UB instrumentation

    @artemagvanian
    artemagvanian committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    9a54aa6 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    8316cfc View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Create a single interface for UninitInstrumenter

    @artemagvanian
    artemagvanian committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    92f967f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    6fa6ed9 View commit details
    Browse the repository at this point in the history

  3. Add a harness for Box::from_raw

    @artemagvanian
    artemagvanian committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    f3d97d0 View commit details
    Browse the repository at this point in the history

  4. Add a test to catch spurious failures due to points-to analysis overa… 

    …pproximation
    @artemagvanian
    artemagvanian committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    baa0159 View commit details
    Browse the repository at this point in the history

  5. Code formatting

    @artemagvanian
    artemagvanian committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    1e5f822 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    3d820cf View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Add tests for Atomic::from_raw

    @artemagvanian
    artemagvanian committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    aecfc72 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    d767ed7 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    98ea077 View commit details
    Browse the repository at this point in the history

  2. Remove old flag

    @artemagvanian
    artemagvanian committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    9aa9f15 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    3351272 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Revert "Create a single interface for UninitInstrumenter" 

    This reverts commit 92f967f.
    @artemagvanian
    artemagvanian committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    55daf4b View commit details
    Browse the repository at this point in the history

  2. Revert "Make sure we short-circuit correctly when encountering ZSTs i… 

    …n the predicates"

This reverts commit e3993f9.
    @artemagvanian
    artemagvanian committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    5626f6b View commit details
    Browse the repository at this point in the history

  3. Revert "Avoid corner-cases by grouping instrumentation into basic blo… 

    …cks"

This reverts commit 130cfd5.
    @artemagvanian
    artemagvanian committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    3bfb417 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    fb6ccb4 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    7781038 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    dfee000 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    93fce25 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Merge branch 'main' into delayed-ub-tests

    @artemagvanian
    artemagvanian committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    02edd0b View commit details
    Browse the repository at this point in the history