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