Skip to content

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

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

Merged
MathiasVP merged 16 commits into from
Nov 18, 2024
Merged

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

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
a40c1d5
C++: Add FP tests.
MathiasVP Nov 14, 2024
db38069
C++: Use value numbering in IRGuards.
MathiasVP Nov 8, 2024
442968c
C++: Properly restrict 'unary_simple_comparison_eq'.
MathiasVP Nov 14, 2024
bb85aa2
C++: Accept test changes.
MathiasVP Nov 14, 2024
6e7256f
C++: Delete unused predicates.
MathiasVP Nov 14, 2024
b10696c
Update IRGuards.qll
MathiasVP Nov 14, 2024
229d40a
Update IRGuards.qll
MathiasVP Nov 14, 2024
42c1937
Update IRGuards.qll
MathiasVP Nov 14, 2024
c80bea3
C++: Stylistic fixes.
MathiasVP Nov 15, 2024
feea29b
C++: Move classes.
MathiasVP Nov 15, 2024
5f9d3d7
C++: Rename 'ScrutineeValueNumber' to 'SwitchConditionValueNumber'.
MathiasVP Nov 15, 2024
459bb6e
Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
MathiasVP Nov 15, 2024
409f2c1
C++: Make the formatting of conjunct when using 'getDualValue' consis…
MathiasVP Nov 15, 2024
19d53fb
C++: Exclude guards in static local or global initializers.
MathiasVP Nov 15, 2024
90d7616
C++: Add change note.
MathiasVP Nov 18, 2024
86e95f1
Update cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md
MathiasVP Nov 18, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* The `Guards` library ("semmle.code.cpp.controlflow.Guards") has been improved to recognize more guard conditions. Additionally, the guards library no longer considers guards in static local initializers or global initializers as `GuardCondition`s.