Predicate TaintTracking :: arrayStep
Holds if pred -> succ is a taint propagating data flow edge through an array.
Import path
import javascript
Holds if pred -> succ is a taint propagating data flow edge through an array.
import javascript