Class SsaWithFields
An SSA variable with zero or more fields read from it.
Import path
import semmle.go.dataflow.SSADirect supertypes
Predicates
| getAUse | Gets a use that refers to this SSA variable with fields. |
| getBaseVariable | Gets the SSA variable corresponding to the base of this SSA variable with fields. |
| getLocation | Gets the location of this SSA variable with fields. |
| getQualifiedName | Gets the qualified name of the source variable or variable and fields that this represents. |
| getType | Gets the type of this SSA variable with fields. |
| hasLocationInfo | DEPRECATED: Use |
| similar | Gets an SSA-with-fields variable that is similar to this SSA-with-fields variable in the sense that it has the same root variable and the same sequence of field accesses. |
| toString | Gets a textual representation of this element. |