File tree Expand file tree Collapse file tree
lib/semmle/code/cpp/security Expand file tree Collapse file tree Original file line number Diff line number Diff line change 55
66import cpp
77import semmle.code.cpp.controlflow.Dominance
8- // `GlobalValueNumbering` is only imported to prevent IR re-evaluation.
9- private import semmle.code.cpp.valuenumbering.GlobalValueNumbering
108import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
119import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
1210import semmle.code.cpp.controlflow.Guards
Original file line number Diff line number Diff line change 1414 */
1515
1616import cpp
17- // We don't actually use the global value numbering library in this query, but without it we end up
18- // recomputing the IR.
19- private import semmle.code.cpp.valuenumbering.GlobalValueNumbering
2017import semmle.code.cpp.ir.IR
2118import semmle.code.cpp.ir.dataflow.MustFlow
2219import PathGraph
Original file line number Diff line number Diff line change 1515 */
1616
1717import cpp
18- // We don't actually use the global value numbering library in this query, but without it we end up
19- // recomputing the IR.
20- import semmle.code.cpp.valuenumbering.GlobalValueNumbering
2118import semmle.code.cpp.ir.IR
2219import semmle.code.cpp.ir.dataflow.MustFlow
2320import PathGraph
You can’t perform that action at this time.
0 commit comments