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