Module DataFlowMake::GlobalWithState
Constructs a global data flow computation using flow state.
Import path
import codeql.dataflow.DataFlow
Imports
Impl<DataFlow::DataFlowMake::GlobalWithState::C> | Constructs a data flow computation given a full input configuration. |
Parameters
Config | StateConfigSig |