Class SsaVariable
An SSA variable.
Import path
import semmle.go.dataflow.SSADirect supertypes
Predicates
| getAUse | Gets a use that refers to this SSA variable. |
| getAUseIn | Gets a use in basic block |
| getDefinition | Gets the (unique) definition of this SSA variable. |
| getLocation | Gets the location of this SSA variable. |
| getSourceVariable | Gets the source variable corresponding to this SSA variable. |
| getType | Gets the type of this SSA variable. |
| hasLocationInfo | DEPRECATED: Use |
| toString | Gets a textual representation of this element. |