Description

This object is used to represent a symbolic variable.

>>> symvar = ctxt.symbolizeRegister(ctxt.registers.rax)
>>> print(symvar)
SymVar_0:64

Python API - Methods of the SymbolicVariable class

string getAlias(void)
Returns the alias (if exists) of the symbolic variable.
integer getBitSize(void)
Returns the size of the symbolic variable.
string getComment(void)
Returns the comment (if exists) of the symbolic variable.
integer getId(void)
Returns the id of the symbolic variable. This id is always unique.
e.g: 18
string getName(void)
Returns name of the symbolic variable.
e.g: SymVar_18
integer getOrigin(void)
Returns the origin according to the SYMBOLIC value.
If getType() returns triton::engines::symbolic::REGISTER_VARIABLE, then getOrigin() returns the id of the register.
Otherwise, if getType() returns triton::engines::symbolic::MEMORY_VARIABLE, then getOrigin() returns the address of the memory access.
Then, if getType() returns triton::engines::symbolic::UNDEFINED_VARIABLE, then getOrigin() returns 0.
SYMBOLIC getType(void)
Returns the type of the symbolic variable.
e.g: SYMBOLIC.REGISTER_VARIABLE
void setAlias(string comment)
Sets an alias to the symbolic variable.
void setComment(string comment)
Sets a comment to the symbolic variable.