Module AdditionalTaintSteps

Note: The contents of this file are exposed with the TaintTracking:: prefix, via an import in TaintTracking.qll.

Import path

import semmle.javascript.dataflow.AdditionalTaintSteps

Public taint step relations.

Holds if pred -> succ is an edge used by all taint-tracking configurations in the old data flow library.

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.
LegacyTaintStep	A taint-propagating data flow edge that should be used with the old data flow library.
SharedTaintStep	A taint-propagating data flow edge that should be added to all taint tracking configurations in addition to standard data flow edges.

Contains predicates for accessing the taint steps used by taint-tracking configurations in the new data flow library.