Predicate TaintTracking::Cached::Public::arrayStep

Holds if pred -> succ is a taint propagating data flow edge through an array.

Import path

import semmle.javascript.dataflow.TaintTracking

predicate arrayStep(Node pred, Node succ)