Module MakeImplStage1::ImplStage1::Stage1WithState
Import path
import codeql.dataflow.internal.DataFlowImplStage1
Imports
Predicates
additionalJumpStep | |
callEdgeArgParam | |
callEdgeReturn | |
expectsContentEx | |
isStateStep | |
jumpStepEx | |
localStep1 | |
notExpectsContent | |
parameterFlowThroughAllowed | |
parameterMayFlowThrough | |
readStepCand | |
returnMayFlowThrough | |
revFlow | |
revFlow | |
sinkNode | |
sourceNode | |
storeStepCand | |
toNormalSinkNode | If |