Module TaintTracking::TaintTracking

Predicates

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

Configuration

A taint tracking configuration.