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

Add out-of-bounds check for memset and memcpy #1197

Merged
merged 23 commits into from
Oct 1, 2023
Merged

Add out-of-bounds check for memset and memcpy #1197

merged 23 commits into from
Oct 1, 2023

Commits on Sep 27, 2023

  1. Add support for 3rd param of memcpy

    @mrstanb
    mrstanb committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    f0c73c5 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

  1. Merge branch 'master' into memset-memcpy-size-check

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    a2c99ad View commit details
    Browse the repository at this point in the history

  2. Add out-of-bounds check for memset and memcpy

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    6e7c00e View commit details
    Browse the repository at this point in the history

  3. Add regr. test case for memset and memcpy out-of-bounds

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    5ed769f View commit details
    Browse the repository at this point in the history

  4. Add temporary fix for failing MacOS CI job

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    12bee27 View commit details
    Browse the repository at this point in the history

  5. Change memset/memcpy count warning from must to may

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    391c6ce View commit details
    Browse the repository at this point in the history

  6. Use ID.lt to compare dest size with count

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    fae7256 View commit details
    Browse the repository at this point in the history

  7. Use join to combine all points-to elements sizes

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    655362e View commit details
    Browse the repository at this point in the history

  8. Do not ingore offsets when calling BlobSize for memset/memcpy

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    2534945 View commit details
    Browse the repository at this point in the history

  9. Change name to get_size_of_dest which makes more sense

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    033913b View commit details
    Browse the repository at this point in the history

  10. Add exception handling for ID operations

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    4ec9895 View commit details
    Browse the repository at this point in the history

  11. Fix wrong name use

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    1e69b64 View commit details
    Browse the repository at this point in the history

  12. Fix incompatible ikinds

    @mrstanb
    mrstanb committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    49dcac9 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2023

  1. Add more and more sophisticated memset and memcpy tests

    @mrstanb
    mrstanb committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    87dadd2 View commit details
    Browse the repository at this point in the history

  2. Add memset/memcpy test case with arrays

    @mrstanb
    mrstanb committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    9e9b5e3 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2023

  1. Fix some bugs in memOutOfBounds and move memset/memcpy checks there

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    5ca357d View commit details
    Browse the repository at this point in the history

  2. Remove unused function

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    8bf3705 View commit details
    Browse the repository at this point in the history

  3. Add further exception handling

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    3027910 View commit details
    Browse the repository at this point in the history

  4. Add further memset/memcpy test

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    62b20a2 View commit details
    Browse the repository at this point in the history

  5. Fix comment

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    5e683d4 View commit details
    Browse the repository at this point in the history

  6. Remove some bot checks for ID arithmetic

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    f03f81f View commit details
    Browse the repository at this point in the history

  7. Use size_of_type_in_bytes where possible

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    3da9205 View commit details
    Browse the repository at this point in the history

  8. Keep TODO about count of memset in base.ml

    @mrstanb
    mrstanb committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    89abb1a View commit details
    Browse the repository at this point in the history