Module TaintTracking::TaintFlowImplementation

This module contains the implementation of taint-flow. It is recommended that users use the TaintedNode class, rather than using this module directly as the interface of this module may change without warning.

Imports

DataFlowExtension

Extension for data-flow, to help express data-flow paths that are library or framework specific and cannot be inferred by the general data-flow machinery.

PointsTo

Part of the combined points-to, call-graph and type-inference library. The main relation points_to(node, context, object, cls, origin) relates a control flow node to the possible objects it points-to the inferred types of those objects and the ‘origin’ of those objects. The ‘origin’ is the point in source code that the object can be traced back to.

Predicates

Classes

TrackedAttribute
TrackedTaint
TrackedValue

The “taint” tracked internal by the TaintFlow module. This is not the taint kind specified by the user, but describes both the kind of taint and how that taint relates to any object referred to by a data-flow graph node or edge.

Datatypes