Class TaintTracking::AdditionalTaintStep

A taint-propagating data flow edge that should be added to all taint tracking configurations, but only those that use the new data flow library.

This class is a singleton, and thus subclasses do not need to specify a characteristic predicate.

As an alternative to this class, consider using DataFlow::SummarizedCallable.

Note: For performance reasons, all subclasses of this class should be part of the standard library. Use isAdditionalFlowStep for query-specific taint steps.

Import path

import javascript

Direct supertypes

Unit

Indirect supertypes

TUnit

Known direct subtypes

Predicates

step	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge.

Inherited predicates

toString

Gets a textual representation of this element.

from Unit