Predicate TaintTracking :: stringStep
Holds if pred -> succ
is a taint propagating data flow edge through a string operation.
DEPRECATED: Use stringConcatenationStep
and stringManipulationStep
instead.
Import path
import javascript
predicate
stringStep
(
Node
pred
,
Node
succ
)