Module Implementation
Import path
import semmle.python.dataflow.old.Implementation
Imports
Predicates
iterable_unpacking_descent |
Helper predicate for taintedMultiAssignment |
Classes
AttributePath |
The attribute of the tracked value holding the taint. This is usually “no attribute”. Used for tracking tainted attributes of objects. |
NamedAttributePath |
The |
NoAttribute |
The |
TaintTrackingContext |
The context for taint-tracking. There are two types of contexts: * No context; the context at a source. * Tainted parameter; tracks the taint and attribute-path for a parameter Used to track taint through calls accurately and reasonably efficiently. |
TaintTrackingImplementation |
The implementation of taint-tracking Each |
TaintTrackingNode |
A class representing the (node, context, path, kind) tuple. Used for context-sensitive path-aware taint-tracking. |
Datatypes
TTaintTrackingContext | |
TTaintTrackingNode |
Type representing the (node, context, path, kind) tuple. Construction of this type is mutually recursive with |