Exception

exception tritondse.exception.AbortExecutionException

Exception to rais in a callback to stop current SymbolicExecutor. The user should be careful to set the status of the current seed being executed.

exception tritondse.exception.AllocatorException(message)

Class used to represent an heap allocator exception. This exception can be raised in the following conditions:

• trying to allocate data which overflow heap size

• trying to free a pointer already freed

• trying to free a non-allocated pointer

exception tritondse.exception.ProbeException(message)

Exception to raise in a probe to stop the current exception. It is caught by SymbolicExplorator.

exception tritondse.exception.SkipInstructionException

Exception to raise in a PRE callback to skip the evaluation of the current instruction. It will thus force a SymbolicExecutor to fetch the next instruction. Thus the user have to update the RIP of the ProcessState currently being executed.

exception tritondse.exception.StopExplorationException

Exception to raise in a callback to stop the whole exploration of the program. It is caught by SymbolicExplorator.