Module DataFlowMakeOverlay::GlobalWithState
Constructs a global data flow computation using flow state.
Import path
import codeql.dataflow.DataFlowImports
| OverlayImpl<DataFlow::DataFlowMakeOverlay::GlobalWithState::C, DataFlowImplStage1::MakeImplStage1<DataFlow::DataFlowMakeOverlay::Location, DataFlow::DataFlowMakeOverlay::Lang>::ImplStage1<DataFlow::DataFlowMakeOverlay::GlobalWithState::C>::Stage1WithState> | Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning with merging of overlay and base results. |
| PartialFlow |
Parameters
| Config | StateConfigSig |