CodeQL library for C#

codeql/csharp-all 3.1.1-dev (changelog, source)

Module TaintFlowMake

Construct the modules for taint-tracking analyses.

Import path

import codeql.dataflow.TaintTracking

Modules

Global	Constructs a global taint tracking computation.
GlobalWithState	Constructs a global taint tracking computation using flow state.
Make	DEPRECATED: Use `Global` instead.
MakeWithState	DEPRECATED: Use `GlobalWithState` instead.
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.

Predicate signatures

speculationLimitSig

Parameters

Location		LocationSig
DataFlowLang		InputSig<TaintTracking::TaintFlowMake::Location>
TaintTrackingLang		InputSig<TaintFlowMake::Location, TaintFlowMake::DataFlowLang>