CodeQL library for Python
codeql/python-all 0.7.1 (changelog, source)
Search

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 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.

Classes

AdditionalTaintStep

A unit class for adding additional taint steps.