Module TaintFlowMakeOverlay
Import path
import codeql.dataflow.TaintTrackingModules
| Global | Constructs a global taint tracking computation. |
| GlobalWithState | Constructs a global taint tracking computation using flow state. |
| SpeculativeGlobal | Constructs a global taint tracking computation that also allows a given maximum number of speculative taint steps. |
| SpeculativeGlobalWithState | Constructs a global taint tracking computation using flow state that also allows a given maximum number of speculative taint steps. |
Parameters
| Location | LocationSig | |
| DataFlowLang | InputSig<TaintTracking::TaintFlowMakeOverlay::Location> | |
| TaintTrackingLang | InputSig<TaintFlowMakeOverlay::Location, TaintFlowMakeOverlay::DataFlowLang> |