Module MakeImplStage1::ImplStage1::Stage1NoState
Import path
import codeql.dataflow.internal.DataFlowImplStage1
Imports
Aliases
ArgNd | |
CastingNd | A |
Nd | |
OutNd | |
ParamNd | |
RetNd | A node from which flow can return to the caller. This is either a regular |
additionalJumpStep | Holds if the additional step from |
jumpStepEx | Holds if data can flow from |
localStep1 | |
parameterFlowThroughAllowed | Holds if flow from |
toNormalSinkNode | If |