CodeQL library for Go
codeql/go-all 0.7.12 (changelog, source)
Search

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.TaintTrackingUtil
predicate elementWriteStep(Node pred, Node succ)