Module TaintTracking
Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.
Import path
import semmle.go.dataflow.TaintTrackingImports
| TaintFlowMake<Locations::Location, DataFlowImplSpecific::GoDataFlow, TaintTrackingImplSpecific::GoTaintTracking> | Construct the modules for taint-tracking analyses. |
| TaintTrackingUtil | Provides Go-specific definitions for use in the taint-tracking library. |