libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
Namespaces | Macros | Enumerations
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.