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.