Merge pull request #17938 from MathiasVP/fix-fp-in-missing-check-scan…

…f-fixing-take-2 C++: Fix some FPs in `cpp/missing-check-scanf` (second attempt)
github · Nov 18, 2024 · 6785b93 · 6785b93
2 parents d9b86f5 + 86e95f1
commit 6785b93
Show file tree

Hide file tree

Showing 9 changed files with 756 additions and 124 deletions.
diff --git a/cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md b/cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md
@@ -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.