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

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