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