Import path
import codeql.dataflow.internal.DataFlowImpl
Imports
Predicates
callEdgeArgParam | |
callEdgeReturn | |
callMayFlowThroughRev | |
consCand | |
fwdFlow | Holds if |
nodeMayUseSummary | Holds if |
parameterMayFlowThrough | |
readStepCand | |
relevantCallEdgeIn | |
relevantCallEdgeOut | |
returnMayFlowThrough | |
revFlow | |
revFlow | |
revFlow | |
revFlow | Holds if |
revFlowAp | |
stats | |
storeStepCand |
Modules
Graph | Provides a graph representation of the data flow in this stage suitable for use in a |
LocalFlowBigStep | Provides a big-step relation for local flow steps. |
Module signatures
LocalFlowBigStepInputSig | Provides the input to |
Parameters
Param | StageParam |