Module MakeImpl::OverlayImpl

Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning with merging of overlay and base results.

Import path

import codeql.dataflow.internal.DataFlowImpl

Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning.

flow	Holds if data can flow from `source` to `sink`.
flowTo	Holds if data can flow from some source to `sink`.
flowToExpr	Holds if data can flow from some source to `sink`.
flowToLocal	Holds if data can flow from some source to `sink`. This is a local predicate that only has results local to the overlay/base database.

Config		FullStateConfigSig
Stage1		Stage1Output<DataFlowImpl::MakeImpl::OverlayImpl::Config::FlowState>