Module ArrayTaintTracking

Classes and predicates for modelling TaintTracking steps for arrays.

Import path

import javascript

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