Module TaintTracking::TaintTracking

Predicates

localTaint

Holds if taint may propagate 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

Configuration

A configuration of interprocedural taint tracking analysis. This defines sources, sinks, and any other configurable aspect of the analysis. Each use of the taint tracking library must define its own unique extension of this abstract class.

Configuration2

A taint-tracking configuration that is backed by the DataFlow2 library instead of DataFlow. Use this class when taint-tracking configurations or data-flow configurations must depend on each other.