Module DataFlowMakeOverlay::Global

Constructs a global data flow computation.

Import path

import codeql.dataflow.DataFlow

OverlayImpl<DataFlow::DataFlowMakeOverlay::Global::C, DataFlowImplStage1::MakeImplStage1<DataFlow::DataFlowMakeOverlay::Location, DataFlow::DataFlowMakeOverlay::Lang>::ImplStage1<DataFlow::DataFlowMakeOverlay::Global::C>::Stage1NoState>	Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning with merging of overlay and base results.
PartialFlow

Config