Module DataFlowMake::Global
Constructs a global data flow computation.
Import path
import codeql.dataflow.DataFlowImports
| Impl<DataFlow::DataFlowMake::Global::C, DataFlowImplStage1::MakeImplStage1<DataFlow::DataFlowMake::Location, DataFlow::DataFlowMake::Lang>::ImplStage1<DataFlow::DataFlowMake::Global::C>::Stage1NoState> | Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning. |
| PartialFlow |
Parameters
| Config | ConfigSig |