CodeQL library for JavaScript
codeql/javascript-all 0.7.5 ( 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 )