Python API - Methods of the SymbolicExpression class

integer getId(void)
Returns the if of the symbolic expression. This id is always unique.
e.g: 2387

AstNode getNewAst(void)
Returns a new AST root node of the symbolic expression. This new instance is a duplicate of the original node and may be changed without changing the original semantics.

MemoryAccess / Register getOrigin(void)
Returns the origin of the symbolic expression. For example, if the symbolic expression is assigned to a memory cell, this function returns a MemoryAccess, else if it is assigned to a register, this function returns a Register otherwise it returns None. Note that for a MemoryAccess all information about LEA are lost at this level.