Predicate elementStep
Holds if taint flows from pred to succ via an array, map, slice, or string
index operation.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate elementStep(Node pred, Node succ)Holds if taint flows from pred to succ via an array, map, slice, or string
index operation.
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate elementStep(Node pred, Node succ)