Member predicate TaintTracking :: SharedTaintStep :: arrayStep
Holds if pred → succ should be considered a taint-propagating
data flow edge through arrays.
These steps considers an array to be tainted if it contains tainted elements.
Holds if pred → succ should be considered a taint-propagating
data flow edge through arrays.
These steps considers an array to be tainted if it contains tainted elements.