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