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

Handle operations on the addresses of non-array types #1480

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Handle operations on the addresses of non-array types #1480

wants to merge 14 commits into from

Commits on May 23, 2024

  1. Add tests for #1421

    @karoliineh
    karoliineh committed May 23, 2024
    Configuration menu
    Copy the full SHA
    a2cedbf View commit details
    Browse the repository at this point in the history

  2. Add fix for #1421

    @karoliineh
    karoliineh committed May 23, 2024
    Configuration menu
    Copy the full SHA
    3952a04 View commit details
    Browse the repository at this point in the history

  3. Revert "Add fix for #1421" 

    This reverts commit 3952a04.
    @karoliineh
    karoliineh committed May 23, 2024
    Configuration menu
    Copy the full SHA
    a509c47 View commit details
    Browse the repository at this point in the history

  4. Fix flawed test

    @karoliineh
    karoliineh committed May 23, 2024
    Configuration menu
    Copy the full SHA
    a25d27c View commit details
    Browse the repository at this point in the history

  5. Add more proper fix that takes points-to sets elements into account (… 

    …not only their types)
    @karoliineh
    karoliineh committed May 23, 2024
    Configuration menu
    Copy the full SHA
    253c779 View commit details
    Browse the repository at this point in the history

  6. Rename tests

    @karoliineh
    karoliineh committed May 23, 2024
    Configuration menu
    Copy the full SHA
    70b0bdd View commit details
    Browse the repository at this point in the history

  7. Add test for adding an int to a struct ptr with an offset

    @karoliineh
    karoliineh committed May 23, 2024
    Configuration menu
    Copy the full SHA
    9558ecc View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. Move handling first level `NoOffset into addToOffset

    @karoliineh
    karoliineh committed May 24, 2024
    Configuration menu
    Copy the full SHA
    ad7a167 View commit details
    Browse the repository at this point in the history

  2. Handle fields of non-array types recursively

    @karoliineh
    karoliineh committed May 24, 2024
    Configuration menu
    Copy the full SHA
    e26d728 View commit details
    Browse the repository at this point in the history

  3. Add back iDtoIdx n

    @karoliineh
    karoliineh committed May 24, 2024
    Configuration menu
    Copy the full SHA
    289e9d6 View commit details
    Browse the repository at this point in the history

  4. Refactor the isNotIndexable function into match cases

    @karoliineh
    karoliineh committed May 24, 2024
    Configuration menu
    Copy the full SHA
    7e3c197 View commit details
    Browse the repository at this point in the history

  5. Refactor the getOffsetBasedOnType function into match cases

    @karoliineh
    karoliineh committed May 24, 2024
    Configuration menu
    Copy the full SHA
    8758ab4 View commit details
    Browse the repository at this point in the history

  6. Reverts error handling from #114 that is not covered by tests since m… 

    …erging #1124
    @karoliineh
    karoliineh committed May 24, 2024
    Configuration menu
    Copy the full SHA
    f325c59 View commit details
    Browse the repository at this point in the history

  7. Improve test for adding (and subtracting) an int (nondet and 0) to a … 

    …struct ptr with an offset
    @karoliineh
    karoliineh committed May 24, 2024
    Configuration menu
    Copy the full SHA
    8fb8a4e View commit details
    Browse the repository at this point in the history