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

Class IR::ElementTarget

A reference to an element of an array, slice or map, used as the target of a write.

Import path

import semmle.go.controlflow.IR

Direct supertypes

Indirect supertypes

Inherited fields

Predicates

getBase

Gets the instruction computing the base value of this element reference.

getIndex

Gets the instruction computing the index of this element reference.

hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

toString

Gets a textual representation of this target.

Inherited predicates

asSsaVariable

Gets the SSA variable being written to, if any.

from WriteTarget
getName

Gets the name of the variable or field being written to, if any.

from WriteTarget
getWrite

Gets the write instruction of which this is the target.

from WriteTarget
refersTo

Holds if e is the variable or field being written to.

from WriteTarget

Charpred