libTriton  version 0.9 build 1502
Classes | Typedefs | Enumerations | Functions
triton::engines::symbolic Namespace Reference

The Symbolic Execution namespace. More...

Classes

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

Typedefs

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

Enumerations

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

Functions

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

Detailed Description

The Symbolic Execution namespace.