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

Class IR::PointerTarget

A pointer dereference, used as the target of a write.

Import path

import semmle.go.controlflow.IR

Direct supertypes

Indirect supertypes

Fields

Inherited fields

Predicates

getBase

Gets the instruction computing the pointer value being dereferenced.

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