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

C++: Fix some FPs in cpp/missing-check-scanf (second attempt) #17938

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
Open

C++: Fix some FPs in cpp/missing-check-scanf (second attempt) #17938

wants to merge 13 commits into from

Commits on Nov 14, 2024

  1. C++: Add FP tests.

    @MathiasVP
    MathiasVP committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    a40c1d5 View commit details
    Browse the repository at this point in the history

  2. C++: Use value numbering in IRGuards.

    @MathiasVP
    MathiasVP committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    db38069 View commit details
    Browse the repository at this point in the history

  3. C++: Properly restrict 'unary_simple_comparison_eq'.

    @MathiasVP
    MathiasVP committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    442968c View commit details
    Browse the repository at this point in the history

  4. C++: Accept test changes.

    @MathiasVP
    MathiasVP committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    bb85aa2 View commit details
    Browse the repository at this point in the history

  5. C++: Delete unused predicates.

    @MathiasVP
    MathiasVP committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    6e7256f View commit details
    Browse the repository at this point in the history

  6. Update IRGuards.qll 

    Co-authored-by: Jeroen Ketema <[email protected]>
    @MathiasVP @jketema
    MathiasVP and jketema authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    b10696c View commit details
    Browse the repository at this point in the history

  7. Update IRGuards.qll 

    Co-authored-by: Jeroen Ketema <[email protected]>
    @MathiasVP @jketema
    MathiasVP and jketema authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    229d40a View commit details
    Browse the repository at this point in the history

  8. Update IRGuards.qll 

    Co-authored-by: Jeroen Ketema <[email protected]>
    @MathiasVP @jketema
    MathiasVP and jketema authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    42c1937 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2024

  1. C++: Stylistic fixes.

    @MathiasVP
    MathiasVP committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    c80bea3 View commit details
    Browse the repository at this point in the history

  2. C++: Move classes.

    @MathiasVP
    MathiasVP committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    feea29b View commit details
    Browse the repository at this point in the history

  3. C++: Rename 'ScrutineeValueNumber' to 'SwitchConditionValueNumber'.

    @MathiasVP
    MathiasVP committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    5f9d3d7 View commit details
    Browse the repository at this point in the history

  4. Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll 

    Co-authored-by: Jeroen Ketema <[email protected]>
    @MathiasVP @jketema
    MathiasVP and jketema authored Nov 15, 2024
    Configuration menu
    Copy the full SHA
    459bb6e View commit details
    Browse the repository at this point in the history

  5. C++: Make the formatting of conjunct when using 'getDualValue' consis… 

    …tent.
    @MathiasVP
    MathiasVP committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    409f2c1 View commit details
    Browse the repository at this point in the history