VariableKind Type
Represents the destination of an assignment statement.
Union cases
| Union case |
Description
|
Full Usage:
MemVar
|
The whole memory as a var (an over-approximated instance). Whenever there is a memory store op, we update MemVar. |
|
PC.
|
Full Usage:
RegVar(RegType, RegisterID, string)
Parameters:
RegType
Item2 : RegisterID
Item3 : string
|
Register.
|
|
Stack variables. This variable is available only after the SSA promotion, which basically translates every memory load/store expression with a concrete address into either a StackVar or a GlobalVar.
|
|
Temporary variables.
|
Instance members
| Instance member |
Description
|
Full Usage:
this.IsGlobalVar
Returns: bool
|
|
Full Usage:
this.IsMemVar
Returns: bool
|
|
Full Usage:
this.IsPCVar
Returns: bool
|
|
Full Usage:
this.IsRegVar
Returns: bool
|
|
Full Usage:
this.IsStackVar
Returns: bool
|
|
Full Usage:
this.IsTempVar
Returns: bool
|
|
B2R2