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

Member predicate Public::ElementReadNode::reads

Holds if this data-flow node reads element index of base.

predicate reads(Node base, Node index)