Predicate TaintTracking::stringManipulationStep
Holds if pred -> succ is a taint propagating data flow edge through string manipulation
(other than concatenation).
Import path
import javascriptpredicate stringManipulationStep(Node pred, Node succ)