Member predicate TaintTracking :: SharedTaintStep :: promiseStep
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge through a promise.
These steps consider a promise object to tainted if it can resolve to a tainted value.
predicate
promiseStep
(
Node
pred
,
Node
succ
)