Member predicate SliceAnsiStep::stringManipulationStep
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge through string manipulation (other than concatenation).
predicate stringManipulationStep(Node pred, Node succ)
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge through string manipulation (other than concatenation).
predicate stringManipulationStep(Node pred, Node succ)