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
Predicates
localExprTaint |
Holds if taint can flow from |
localTaint |
Holds if taint propagates from |
localTaintStep |
Holds if taint propagates from |
Classes
AdditionalTaintStep |
A unit class for adding additional taint steps. |