File tree Expand file tree Collapse file tree 10 files changed +10
-0
lines changed
lib/semmle/code/cpp/ir/dataflow/internal
Likely Bugs/Memory Management
utils/modelgenerator/internal
test/library-tests/dataflow/models-as-data Expand file tree Collapse file tree 10 files changed +10
-0
lines changed Original file line number Diff line number Diff line change 11private import cpp as Cpp
22private import DataFlowUtil
3+ private import DataFlowNodes
34private import semmle.code.cpp.ir.IR
45private import DataFlowDispatch
56private import semmle.code.cpp.ir.internal.IRCppLanguage
Original file line number Diff line number Diff line change @@ -11,6 +11,7 @@ private import semmle.code.cpp.ir.IR
1111private import semmle.code.cpp.controlflow.IRGuards
1212private import semmle.code.cpp.models.interfaces.DataFlow
1313private import semmle.code.cpp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
14+ private import TaintTrackingUtil as TaintTrackingUtil
1415private import DataFlowPrivate
1516private import ModelUtil
1617private import SsaImpl as SsaImpl
Original file line number Diff line number Diff line change @@ -6,6 +6,7 @@ private import cpp
66private import semmle.code.cpp.ir.IR
77private import DataFlowUtil
88private import DataFlowPrivate
9+ private import DataFlowNodes
910private import semmle.code.cpp.ir.implementation.raw.internal.TranslatedExpr
1011private import semmle.code.cpp.ir.implementation.raw.internal.InstructionTag
1112
Original file line number Diff line number Diff line change 66private import semmle.code.cpp.ir.IR
77private import semmle.code.cpp.models.interfaces.FunctionInputsAndOutputs
88private import DataFlowUtil
9+ private import DataFlowNodes
910private import DataFlowPrivate
1011private import SsaImpl as Ssa
1112
Original file line number Diff line number Diff line change @@ -12,6 +12,7 @@ private import semmle.code.cpp.ir.internal.IRCppLanguage
1212private import semmle.code.cpp.ir.dataflow.internal.ModelUtil
1313private import semmle.code.cpp.ir.implementation.raw.internal.TranslatedInitialization
1414private import DataFlowPrivate
15+ private import DataFlowNodes
1516import SsaImplCommon
1617
1718private module SourceVariables {
Original file line number Diff line number Diff line change @@ -4,6 +4,7 @@ import semmle.code.cpp.ir.internal.IRCppLanguage
44private import semmle.code.cpp.ir.implementation.raw.internal.SideEffects as SideEffects
55private import DataFlowImplCommon as DataFlowImplCommon
66private import DataFlowUtil
7+ private import DataFlowNodes
78private import semmle.code.cpp.models.interfaces.PointerWrapper
89private import DataFlowPrivate
910private import TypeFlow
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ private import semmle.code.cpp.models.interfaces.DataFlow
55private import semmle.code.cpp.models.interfaces.SideEffect
66private import DataFlowUtil
77private import DataFlowPrivate
8+ private import DataFlowNodes
89private import SsaImpl as Ssa
910private import semmle.code.cpp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
1011private import semmle.code.cpp.ir.dataflow.FlowSteps
Original file line number Diff line number Diff line change 1515import cpp
1616import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
1717import semmle.code.cpp.ir.dataflow.DataFlow
18+ private import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes
1819
1920/** Gets a loop that contains `e`. */
2021Loop getAnEnclosingLoopOfExpr ( Expr e ) { result = getAnEnclosingLoopOfStmt ( e .getEnclosingStmt ( ) ) }
Original file line number Diff line number Diff line change @@ -8,6 +8,7 @@ private import semmle.code.cpp.dataflow.ExternalFlow as ExternalFlow
88private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon as DataFlowImplCommon
99private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplSpecific
1010private import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate as DataFlowPrivate
11+ private import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes as DataFlowNodes
1112private import semmle.code.cpp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
1213private import semmle.code.cpp.ir.dataflow.internal.TaintTrackingImplSpecific
1314private import semmle.code.cpp.dataflow.new.TaintTracking as Tt
Original file line number Diff line number Diff line change 11import testModels
22private import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
33private import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
4+ private import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes
45
56string describe ( DataFlow:: Node n ) {
67 n instanceof ParameterNode and result = "ParameterNode"
You can’t perform that action at this time.
0 commit comments