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

Brodes/guard flow parsing k #17933

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

Brodes/guard flow parsing k #17933

wants to merge 11 commits into from

Commits on Nov 4, 2024

  1. Adding test cases for boolean flow.

    @bdrodes
    bdrodes committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    aaf3ce2 View commit details
    Browse the repository at this point in the history

  2. Adding expected false positive conditions for MissingCheckScanf once … 

    …boolean flow logic is completed.
    @bdrodes
    bdrodes committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    40a6786 View commit details
    Browse the repository at this point in the history

  3. Addingg expected file for test changes for MissingCheckScanf before c… 

    …hanges made to guards (baseline expected file).
    @bdrodes
    bdrodes committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    bb989ba View commit details
    Browse the repository at this point in the history

  4. IRGuard overhaul to parse conditions using GVN.

    @bdrodes
    bdrodes committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    ddfbb08 View commit details
    Browse the repository at this point in the history

  5. Updating expected files for new IRGuard changes.

    @bdrodes
    bdrodes committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    0795bcc View commit details
    Browse the repository at this point in the history

  6. Updating IRGuards.qll getDerivedInstruction. Always get the deriving … 

    …instruction if one exists.
    @bdrodes
    bdrodes committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    d17dee5 View commit details
    Browse the repository at this point in the history

  7. Revert "Updating IRGuards.qll getDerivedInstruction. Always get the d… 

    …eriving instruction if one exists."

This reverts commit d17dee5.
    @bdrodes
    bdrodes committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    6f17460 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. getDerivedInstruction uses getSourceValue()

    @bdrodes
    bdrodes committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    41e7dae View commit details
    Browse the repository at this point in the history

  2. Sketch for handling k values not defined at the guard location.

    @bdrodes
    bdrodes committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    a18f87d View commit details
    Browse the repository at this point in the history

  3. Recurse to find a k

    @bdrodes
    bdrodes committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    934cf4c View commit details
    Browse the repository at this point in the history

  4. Simplifying k parsing.

    @bdrodes
    bdrodes committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    7498c05 View commit details
    Browse the repository at this point in the history