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

Class SsaVariable

An SSA variable.

Import path

import semmle.go.dataflow.SSA

Direct supertypes

Predicates

getAUse

Gets a use that refers to this SSA variable.

getAUseIn

Gets a use in basic block bb that refers to this SSA variable.

getDefinition

Gets the (unique) definition of this SSA variable.

getSourceVariable

Gets the source variable corresponding to this SSA variable.

getType

Gets the type of this SSA variable.

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 element.