Member predicate TaintTracking :: SharedTaintStep :: uriStep
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge through URI manipulation.
Does not include string operations that aren’t specific to URIs, such as concatenation and substring operations.