Module MakeImplStage1::ImplStage1::Stage1Common

Import path

import codeql.dataflow.internal.DataFlowImplStage1

Ap	The trivial type with a single element.
ApNil	The trivial type with a single element.
callMayFlowThroughRev
isRelevantSourceSinkPair
revFlowIsReadAndStored	Holds if `c` is the target of both a read and a store in the flow covered by `revFlow`.
stats