Member predicate TaintTracking :: SharedTaintStep :: stringConcatenationStep
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge through string concatenation.
predicate
stringConcatenationStep
(
Node
pred
,
Node
succ
)