Module ArrayTaintTracking

Classes and predicates for modeling TaintTracking steps for arrays.

Import path

import javascript

Holds if there is a taint propagating data flow edge from pred to succ caused by a call call to a builtin array functions.