Module TaintTracking

Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.

Import path

import semmle.go.dataflow.TaintTracking

TaintFlowMake<Locations::Location, DataFlowImplSpecific::GoDataFlow, TaintTrackingImplSpecific::GoTaintTracking>	Construct the modules for taint-tracking analyses.
TaintTrackingImpl	DEPRECATED: Use `Global` and `GlobalWithState` instead.
TaintTrackingUtil	Provides Go-specific definitions for use in the taint-tracking library.