Predicate elementWriteStep
Holds if there is an assignment of the form succ[idx] = pred, meaning that pred may taint
succ.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate elementWriteStep(Node pred, Node succ)Holds if there is an assignment of the form succ[idx] = pred, meaning that pred may taint
succ.
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate elementWriteStep(Node pred, Node succ)