CodeQL library for JavaScript
codeql/javascript-all 0.4.1 (changelog, source)
Search

Member predicate TaintTracking::SharedTaintStep::arrayStep

Holds if predsucc should be considered a taint-propagating data flow edge through arrays.

These steps considers an array to be tainted if it contains tainted elements.

predicate arrayStep(Node pred, Node succ)