Constructs a global taint tracking computation using flow state that also allows a given maximum number of speculative taint steps.
Import path
import codeql.dataflow.TaintTracking
Imports
Impl<TaintTracking::TaintFlowMake::SpeculativeGlobalWithState::C, DataFlowImplStage1::MakeImplStage1<TaintTracking::TaintFlowMake::Location, TaintTracking::TaintFlowMake::DataFlowLang>::ImplStage1<TaintTracking::TaintFlowMake::SpeculativeGlobalWithState::C>::Stage1WithState> | Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning. |
PartialFlow |
Parameters
Config | StateConfigSig | |
speculationLimit | speculationLimitSig |