Module TaintTrackingImpl
DEPRECATED: Use Global
and GlobalWithState
instead.
Provides an implementation of global (interprocedural) taint tracking.
This file re-exports the local (intraprocedural) taint-tracking analysis
from TaintTrackingParameter::Public
and adds a global analysis, mainly
exposed through the Configuration
class. For some languages, this file
exists in several identical copies, allowing queries to use multiple
Configuration
classes that depend on each other without introducing
mutual recursion among those configurations.
Import path
import semmle.go.dataflow.internal.tainttracking2.TaintTrackingImpl
Imports
TaintTrackingUtil | Provides Go-specific definitions for use in the taint-tracking library. |
Classes
Configuration | DEPRECATED: Use |