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

Fix Buffer Over-Read (CWE-126) in DNS Response Parser #1154

Merged
merged 10 commits into from
Jun 12, 2024
Merged

Fix Buffer Over-Read (CWE-126) in DNS Response Parser #1154

merged 10 commits into from
Jun 12, 2024

Commits on Jun 12, 2024

  1. Rename DNS proof

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    2492952 View commit details
    Browse the repository at this point in the history

  2. Rename DNS proof

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    7e1b901 View commit details
    Browse the repository at this point in the history

  3. Fix DNS parse reply proof

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    63726ee View commit details
    Browse the repository at this point in the history

  4. Fix CBMC proof

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    221ef86 View commit details
    Browse the repository at this point in the history

  5. Fix unit tests

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    5d0dfb6 View commit details
    Browse the repository at this point in the history

  6. Fix formatting

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    51020f5 View commit details
    Browse the repository at this point in the history

  7. Fix unit tests

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    dbcd08c View commit details
    Browse the repository at this point in the history

  8. Update CMake

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    506db4e View commit details
    Browse the repository at this point in the history

  9. Fix build checks

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d77d7b4 View commit details
    Browse the repository at this point in the history

  10. Fix formatting

    @tony-josi-aws
    tony-josi-aws committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    0de1d01 View commit details
    Browse the repository at this point in the history