We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 355fc0a commit c6da1f2Copy full SHA for c6da1f2
cpp/ql/lib/semmle/code/cpp/security/Overflow.qll
@@ -5,6 +5,7 @@
5
6
import cpp
7
import semmle.code.cpp.controlflow.Dominance
8
+// `GlobalValueNumbering` is only imported to prevent IR re-evaluation.
9
private import semmle.code.cpp.valuenumbering.GlobalValueNumbering
10
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
11
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
0 commit comments