Predicate stringConcatStep
Holds if taint flows from pred to succ via string concatenation.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate stringConcatStep(Node pred, Node succ)Holds if taint flows from pred to succ via string concatenation.
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate stringConcatStep(Node pred, Node succ)