Predicate ArrayTaintTracking::arrayFunctionTaintStep
Holds if there is a taint propagating data flow edge from pred to succ caused by a call call to a builtin array functions.
Import path
import semmle.javascript.Arrayspredicate arrayFunctionTaintStep(Node pred, Node succ, CallNode call)