Module TaintTrackingPublic

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

Import path

import semmle.python.dataflow.new.internal.TaintTrackingPublic

localExprTaint	Holds if taint can flow from `e1` to `e2` in zero or more local (intra-procedural) steps.
localTaint	Holds if taint propagates from `source` to `sink` in zero or more local (intra-procedural) steps.
localTaintStep	Holds if taint propagates from `nodeFrom` to `nodeTo` in exactly one local (intra-procedural) step.

A unit class for adding additional taint steps.