libTriton  version 0.7 build 1407
Classes | Typedefs | Enumerations | Functions
Symbolic
Collaboration diagram for Symbolic:

Classes

class  triton::engines::symbolic::PathConstraint
 The path constraint class. More...
 
class  triton::engines::symbolic::PathManager
 The path manager class. More...
 
class  triton::engines::symbolic::SymbolicEngine
 The symbolic engine class. More...
 
class  triton::engines::symbolic::SymbolicExpression
 The symbolic expression class. More...
 
class  triton::engines::symbolic::SymbolicSimplification
 The symbolic simplification class. More...
 
class  triton::engines::symbolic::SymbolicVariable
 The symbolic variable class. More...
 

Typedefs

using triton::engines::symbolic::SharedSymbolicExpression = std::shared_ptr< triton::engines::symbolic::SymbolicExpression >
 Shared Symbolic Expression.
 
using triton::engines::symbolic::WeakSymbolicExpression = std::weak_ptr< triton::engines::symbolic::SymbolicExpression >
 Weak Symbolic Expression.
 
using triton::engines::symbolic::SharedSymbolicVariable = std::shared_ptr< triton::engines::symbolic::SymbolicVariable >
 Shared Symbolic variable.
 

Enumerations

enum  triton::engines::symbolic::expression_e { triton::engines::symbolic::MEMORY_EXPRESSION, triton::engines::symbolic::REGISTER_EXPRESSION, triton::engines::symbolic::VOLATILE_EXPRESSION }
 Type of symbolic expressions. More...
 
enum  triton::engines::symbolic::variable_e { triton::engines::symbolic::MEMORY_VARIABLE, triton::engines::symbolic::REGISTER_VARIABLE, triton::engines::symbolic::UNDEFINED_VARIABLE }
 Type of symbolic variable. More...
 

Functions

std::ostream & triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicExpression &symExpr)
 Displays a symbolic expression.
 
std::ostream & triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicExpression *symExpr)
 Displays a symbolic expression.
 
std::ostream & triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicVariable &symVar)
 Displays a symbolic variable.
 
std::ostream & triton::engines::symbolic::operator<< (std::ostream &stream, const SymbolicVariable *symVar)
 Displays a symbolic variable.
 

Detailed Description

Enumeration Type Documentation

◆ expression_e

Type of symbolic expressions.

Enumerator
MEMORY_EXPRESSION 

Assigned to a memory expression.

REGISTER_EXPRESSION 

Assigned to a register expression.

VOLATILE_EXPRESSION 

Assigned to a volatile expression.

Definition at line 40 of file symbolicEnums.hpp.

◆ variable_e

Type of symbolic variable.

Enumerator
MEMORY_VARIABLE 

Variable assigned to a memory.

REGISTER_VARIABLE 

Variable assigned to a register.

UNDEFINED_VARIABLE 

Undefined assignment.

Definition at line 47 of file symbolicEnums.hpp.