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.

bool	operator< (const SymbolicVariable &symvar1, const SymbolicVariable &symvar2)
	Compares two symbolic variables.

Detailed Description

The Symbolic Execution namespace.

Classes