Module DataFlowMake::MakeWithState
DEPRECATED: Use GlobalWithState instead.
Import path
import codeql.dataflow.DataFlowImports
| GlobalWithState<MakeWithState::Config> | Constructs a global data flow computation using flow state. |
Parameters
| Config | StateConfigSig |