Module TaintFlowMake::SpeculativeGlobal
Constructs a global taint tracking computation that also allows a given maximum number of speculative taint steps.
Import path
import codeql.dataflow.TaintTrackingImports
| Impl<TaintTracking::TaintFlowMake::SpeculativeGlobal::C> | Constructs a data flow computation given a full input configuration. |
Parameters
| Config | ConfigSig | |
| speculationLimit | speculationLimitSig |