Namespace regrouping classes and types used by the engine to provide various information to the user.
- struct Branch
- Struct holding information about a regular or conditional branch operation.
- class Info
- This class is used by the engine to make relevant information easily available to the user when it stops executing emulated code. The accessible information depends on the reason why the engine stopped. For instance if the engine encountered a breakpoint, the class will hold breakpoint related info, e.g register/memory that was read/written, path constraints that was encountered, etc.
- struct MemAccess
- Struct holding information about a memory access.
- struct RegAccess
- Struct holding information about a register access.