Predicate ArrayTaintTracking::arrayFunctionTaintStep

A taint propagating data flow edge from pred to succ caused by a call call to a builtin array functions.

Import path

import javascript
predicate arrayFunctionTaintStep(Node pred, Node succ, CallNode call)