Constructs a global taint tracking computation that also allows a given maximum number of speculative taint steps.
Import path
import codeql.dataflow.TaintTrackingImports
| OverlayImpl<TaintTracking::TaintFlowMakeOverlay::SpeculativeGlobal::C, DataFlowImplStage1::MakeImplStage1<TaintTracking::TaintFlowMakeOverlay::Location, TaintTracking::TaintFlowMakeOverlay::DataFlowLang>::ImplStage1<TaintTracking::TaintFlowMakeOverlay::SpeculativeGlobal::C>::Stage1WithState> | Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning with merging of overlay and base results. |
| PartialFlow |
Parameters
| Config | ConfigSig | |
| speculationLimit | speculationLimitSig |