libTriton  version 0.6 build 1375
Public Member Functions | Protected Attributes | List of all members
triton::engines::symbolic::SymbolicVariable Class Reference

The symbolic variable class. More...

#include <symbolicVariable.hpp>

Public Member Functions

TRITON_EXPORT SymbolicVariable (symkind_e kind, triton::uint64 kindValue, triton::usize id, triton::uint32 size, const std::string &comment)
 Constructor.
 
TRITON_EXPORT SymbolicVariable (const SymbolicVariable &other)
 Constructor by copy.
 
TRITON_EXPORT SymbolicVariableoperator= (const SymbolicVariable &other)
 Operator.
 
TRITON_EXPORT symkind_e getKind (void) const
 Returns the symbolic variable kind. More...
 
TRITON_EXPORT const std::string & getComment (void) const
 Returns the comment of the symbolic variable.
 
TRITON_EXPORT const std::string & getName (void) const
 Returns the name of the symbolic variable.
 
TRITON_EXPORT triton::usize getId (void) const
 Returns the id of the symbolic variable. This id is unique.
 
TRITON_EXPORT triton::uint64 getKindValue (void) const
 Returns the kind value of the symbolic variable.
 
TRITON_EXPORT triton::uint32 getSize (void) const
 Returns the size (in bits) of the symbolic variable.
 
TRITON_EXPORT void setComment (const std::string &comment)
 Sets the comment of the symbolic variable.
 

Protected Attributes

symkind_e kind
 The symbolic variable kind. More...
 
std::string comment
 The comment of the symbolic variable.
 
std::string name
 The name of the symbolic variable. Names are always something like this: SymVar_X. More...
 
triton::usize id
 The id of the symbolic variable. This id is unique.
 
triton::uint64 kindValue
 The kind value of the symbolic variable. More...
 
triton::uint32 size
 The size (in bits) of the symbolic variable.
 

Detailed Description

The symbolic variable class.

Definition at line 44 of file symbolicVariable.hpp.

Member Function Documentation

◆ getKind()

symkind_e triton::engines::symbolic::SymbolicVariable::getKind ( void  ) const

Returns the symbolic variable kind.

See also
triton::engines::symbolic::symkind_e.

Definition at line 56 of file symbolicVariable.cpp.

Member Data Documentation

◆ kind

symkind_e triton::engines::symbolic::SymbolicVariable::kind
protected

The symbolic variable kind.

See also
triton::engines::symbolic::symkind_e

Definition at line 47 of file symbolicVariable.hpp.

◆ kindValue

triton::uint64 triton::engines::symbolic::SymbolicVariable::kindValue
protected

The kind value of the symbolic variable.

If the symbolic varialbe is a triton::engines::symbolic::REG, this value contains the register ID. Otherwise, if the symbolic varialbe is a triton::engines::symbolic::MEM, this value contains the address of the memory access.

Definition at line 64 of file symbolicVariable.hpp.

◆ name

std::string triton::engines::symbolic::SymbolicVariable::name
protected

The name of the symbolic variable. Names are always something like this: SymVar_X.

See also
TRITON_SYMVAR_NAME

Definition at line 53 of file symbolicVariable.hpp.


The documentation for this class was generated from the following files: