symbolicEnums.hpp File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	triton
	The Triton namespace.
namespace	triton::engines
	The Engines namespace.
namespace	triton::engines::symbolic
	The Symbolic Execution namespace.

Macros
#define	TRITON_SYMVAR_NAME   "SymVar_"

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...

Macro Definition Documentation

TRITON_SYMVAR_NAME

#define TRITON_SYMVAR_NAME   "SymVar_"

Defines the default name of a symbolic variable.

Definition at line 12 of file symbolicEnums.hpp.