Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Commit cdb4158

Browse filesBrowse files
MathiasVPMathiasVP
committed
C++: Fix some imports.
1 parent 1eccb8e commit cdb4158
Copy full SHA for cdb4158

10 files changed

+10Lines changed: 10 additions & 0 deletions

File tree

Expand file treeCollapse file tree
Open diff view settings
Filter options
Expand file treeCollapse file tree
Open diff view settings
Collapse file

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
private import cpp as Cpp
22
private import DataFlowUtil
3+
private import DataFlowNodes
34
private import semmle.code.cpp.ir.IR
45
private import DataFlowDispatch
56
private import semmle.code.cpp.ir.internal.IRCppLanguage
Collapse file

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@ private import semmle.code.cpp.ir.IR
1111
private import semmle.code.cpp.controlflow.IRGuards
1212
private import semmle.code.cpp.models.interfaces.DataFlow
1313
private import semmle.code.cpp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
14+
private import TaintTrackingUtil as TaintTrackingUtil
1415
private import DataFlowPrivate
1516
private import ModelUtil
1617
private import SsaImpl as SsaImpl
Collapse file

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ private import cpp
66
private import semmle.code.cpp.ir.IR
77
private import DataFlowUtil
88
private import DataFlowPrivate
9+
private import DataFlowNodes
910
private import semmle.code.cpp.ir.implementation.raw.internal.TranslatedExpr
1011
private import semmle.code.cpp.ir.implementation.raw.internal.InstructionTag
1112

Collapse file

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66
private import semmle.code.cpp.ir.IR
77
private import semmle.code.cpp.models.interfaces.FunctionInputsAndOutputs
88
private import DataFlowUtil
9+
private import DataFlowNodes
910
private import DataFlowPrivate
1011
private import SsaImpl as Ssa
1112

Collapse file

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ private import semmle.code.cpp.ir.internal.IRCppLanguage
1212
private import semmle.code.cpp.ir.dataflow.internal.ModelUtil
1313
private import semmle.code.cpp.ir.implementation.raw.internal.TranslatedInitialization
1414
private import DataFlowPrivate
15+
private import DataFlowNodes
1516
import SsaImplCommon
1617

1718
private module SourceVariables {
Collapse file

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ import semmle.code.cpp.ir.internal.IRCppLanguage
44
private import semmle.code.cpp.ir.implementation.raw.internal.SideEffects as SideEffects
55
private import DataFlowImplCommon as DataFlowImplCommon
66
private import DataFlowUtil
7+
private import DataFlowNodes
78
private import semmle.code.cpp.models.interfaces.PointerWrapper
89
private import DataFlowPrivate
910
private import TypeFlow
Collapse file

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ private import semmle.code.cpp.models.interfaces.DataFlow
55
private import semmle.code.cpp.models.interfaces.SideEffect
66
private import DataFlowUtil
77
private import DataFlowPrivate
8+
private import DataFlowNodes
89
private import SsaImpl as Ssa
910
private import semmle.code.cpp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
1011
private import semmle.code.cpp.ir.dataflow.FlowSteps
Collapse file

‎cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql‎

Copy file name to clipboardExpand all lines: cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@
1515
import cpp
1616
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
1717
import semmle.code.cpp.ir.dataflow.DataFlow
18+
private import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes
1819

1920
/** Gets a loop that contains `e`. */
2021
Loop getAnEnclosingLoopOfExpr(Expr e) { result = getAnEnclosingLoopOfStmt(e.getEnclosingStmt()) }
Collapse file

‎cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll‎

Copy file name to clipboardExpand all lines: cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ private import semmle.code.cpp.dataflow.ExternalFlow as ExternalFlow
88
private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon as DataFlowImplCommon
99
private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplSpecific
1010
private import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate as DataFlowPrivate
11+
private import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes as DataFlowNodes
1112
private import semmle.code.cpp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
1213
private import semmle.code.cpp.ir.dataflow.internal.TaintTrackingImplSpecific
1314
private import semmle.code.cpp.dataflow.new.TaintTracking as Tt
Collapse file

‎cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql‎

Copy file name to clipboardExpand all lines: cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
import testModels
22
private import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
33
private import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
4+
private import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes
45

56
string describe(DataFlow::Node n) {
67
n instanceof ParameterNode and result = "ParameterNode"

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.