Module DataFlowMake
Import path
import codeql.dataflow.DataFlow
Modules
Global | Constructs a global data flow computation. |
GlobalWithState | Constructs a global data flow computation using flow state. |
Make | DEPRECATED: Use |
MakeWithState | DEPRECATED: Use |
MergePathGraph | Constructs a |
MergePathGraph3 | Constructs a |
Predicate signatures
explorationLimitSig | Gets the exploration limit for |
Type signatures
Module signatures
GlobalFlowSig | The output of a global data flow computation. |
Parameters
Location | LocationSig | |
Lang | InputSig<DataFlowMake::Location> |