Predicate TaintTracking :: sharedTaintStep
Holds if pred -> succ
is an edge used by all taint-tracking configurations.
Import path
import javascript
predicate
sharedTaintStep
(
Node
pred
,
Node
succ
)