Module TaintTracking::AdditionalTaintStep

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

Import path

import javascript

step	Holds if `pred` → `succ` is considered a taint-propagating data flow edge when using the new data flow library.