Module TaintTracking4

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

Import path

import semmle.python.dataflow.new.TaintTracking4

Imports

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.