Source code for tritondse.exception

[docs] class SkipInstructionException(Exception): """ 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. """ pass
[docs] class AbortExecutionException(Exception): """ 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. """ pass
[docs] class StopExplorationException(Exception): """ Exception to raise in a callback to stop the whole exploration of the program. It is caught by SymbolicExplorator. """ pass
[docs] class AllocatorException(Exception): """ 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 """ def __init__(self, message): super(Exception, self).__init__(message)
[docs] class ProbeException(Exception): """ Exception to raise in a probe to stop the current exception. It is caught by SymbolicExplorator. """ def __init__(self, message): super(Exception, self).__init__(message)