Predicate TaintTracking::arrayStep

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

Import path

import javascript

predicate arrayStep(Node pred, Node succ)