maat.Info class

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 constraint that was encountered, etc.

❱   Attributes

STOP stop
Reason why the engine stopped

int addr
Address of the instruction were the engine stopped

Optional[ Branch ] branch
Branch operation information

Optional[ RegAccess ] reg_access
Register access information

Optional[ MemAccess ] mem_access
Memory access information

Optional[int] exit_status
Exit status of the emulated program (if exited)