Module TaintTracking::TaintTracking

Predicates

localAdditionalTaintStep

Holds if taint can flow in one local step from src to sink excluding local data flow steps. That is, src and sink are likely to represent different objects.

localTaint

Holds if taint can flow from src to sink in zero or more local (intra-procedural) steps.

localTaintStep

Holds if taint can flow in one local step from src to sink.

Classes

Configuration

A taint tracking configuration.

Configuration2

A taint tracking configuration.

ObjectOutputStreamVar

A local variable that is assigned an ObjectOutputStream. Writing tainted data to such a stream causes the underlying OutputStream to be tainted.