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)
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge through string concatenation.
predicate stringConcatenationStep(Node pred, Node succ)