Module MakeImpl::Impl::Stage1

Import path

import codeql.dataflow.internal.DataFlowImpl

callEdgeArgParam
callEdgeReturn
callMayFlowThroughRev
parameterMayFlowThrough	Holds if flow may enter through `p` and reach a return node making `p` a candidate for the origin of a summary.
readStepCand
relevantCallEdgeIn
relevantCallEdgeOut
returnMayFlowThrough
revFlow
revFlow	Holds if `node` is part of a path from a source to a sink.
revFlow
revFlowAp
revFlowIsReadAndStored	Holds if `c` is the target of both a read and a store in the flow covered by `revFlow`.
revFlowState
sinkNode
stats
storeStepCand
viableParamArgNodeCandFwd1
viableReturnPosOutNodeCandFwd1

Ap	The trivial type with a single element.
ApNil	The trivial type with a single element.