Module MakeImplStage1::ImplStage1::Stage1NoState

Import path

import codeql.dataflow.internal.DataFlowImplStage1

Stage1
Stage1Common

ArgNd
CastingNd	A `Node` at which a cast can occur such that the type should be checked.
Nd
OutNd
ParamNd
RetNd	A node from which flow can return to the caller. This is either a regular `ReturnNode` or a synthesized node for flow out via a parameter.
additionalJumpStep	Holds if the additional step from `node1` to `node2` jumps between callables.
jumpStepEx	Holds if data can flow from `node1` to `node2` in a way that discards call contexts.
localStep1
parameterFlowThroughAllowed	Holds if flow from `p` to a return node of kind `kind` is allowed.
toNormalSinkNode	If `node` corresponds to a sink, gets the normal node for that sink.