libTriton  version 0.6 build 1362
SymbolicVariable

Table of Contents

[python api] All information about the SymbolicVariable python object.

Description


This object is used to represent a symbolic variable.

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

Python API - Methods of the SymbolicVariable class