Source code for angr.errors

# pylint:disable=missing-class-docstring




class AngrError(Exception):
    pass





class AngrValueError(AngrError, ValueError):
    pass





class AngrLifterError(AngrError):
    pass





class AngrExitError(AngrError):
    pass





class AngrPathError(AngrError):
    pass





class AngrVaultError(AngrError):
    pass





class PathUnreachableError(AngrPathError):
    pass





class SimulationManagerError(AngrError):
    pass





class AngrInvalidArgumentError(AngrError):
    pass





class AngrSurveyorError(AngrError):
    pass





class AngrAnalysisError(AngrError):
    pass





class AngrBladeError(AngrError):
    pass





class AngrBladeSimProcError(AngrBladeError):
    pass





class AngrAnnotatedCFGError(AngrError):
    pass





class AngrBackwardSlicingError(AngrError):
    pass





class AngrGirlScoutError(AngrError):
    pass





class AngrCallableError(AngrSurveyorError):
    pass





class AngrCallableMultistateError(AngrCallableError):
    pass





class AngrSyscallError(AngrError):
    pass





class AngrSimOSError(AngrError):
    pass





class AngrAssemblyError(AngrError):
    pass





class AngrTypeError(AngrError, TypeError):
    pass





class AngrMissingTypeError(AngrTypeError):
    pass



# Congruency check failure


class AngrIncongruencyError(AngrAnalysisError):
    pass



#
# ForwardAnalysis errors
#




class AngrForwardAnalysisError(AngrError):
    pass





class AngrSkipJobNotice(AngrForwardAnalysisError):
    pass





class AngrDelayJobNotice(AngrForwardAnalysisError):
    pass





class AngrJobMergingFailureNotice(AngrForwardAnalysisError):
    pass





class AngrJobWideningFailureNotice(AngrForwardAnalysisError):
    pass



#
# CFG errors
#




class AngrCFGError(AngrError):
    pass



#
# VFG Errors and notices
#




class AngrVFGError(AngrError):
    pass





class AngrVFGRestartAnalysisNotice(AngrVFGError):
    pass



#
# Data graph errors
#




class AngrDataGraphError(AngrAnalysisError):
    # TODO: deprecated
    pass





class AngrDDGError(AngrAnalysisError):
    pass



#
# Loop analysis
#




class AngrLoopAnalysisError(AngrAnalysisError):
    pass



#
# Exploration techniques
#




class AngrExplorationTechniqueError(AngrError):
    pass





class AngrExplorerError(AngrExplorationTechniqueError):
    pass





class AngrDirectorError(AngrExplorationTechniqueError):
    pass





class AngrTracerError(AngrExplorationTechniqueError):
    pass



#
# VariableRecovery errors
#




class AngrVariableRecoveryError(AngrAnalysisError):
    pass



#
# AngrDB errors
#




class AngrDBError(AngrError):
    pass





class AngrCorruptDBError(AngrDBError):
    pass





class AngrIncompatibleDBError(AngrDBError):
    pass



#
# Tracer
#




class TracerEnvironmentError(AngrError):
    pass



#
# Simulation errors
#




class SimError(Exception):
    bbl_addr = None
    stmt_idx = None
    ins_addr = None
    executed_instruction_count = None
    guard = None



    def record_state(self, state):
        self.bbl_addr = state.scratch.bbl_addr
        self.stmt_idx = state.scratch.stmt_idx
        self.ins_addr = state.scratch.ins_addr
        self.executed_instruction_count = state.history.recent_instruction_count
        self.guard = state.scratch.guard
        return self




#
# State-related errors
#




class SimStateError(SimError):
    pass





class SimMergeError(SimStateError):
    pass





class SimMemoryError(SimStateError):
    pass





class SimMemoryMissingError(SimMemoryError):


    def __init__(self, missing_addr, missing_size, *args):
        super().__init__(missing_addr, missing_size, *args)
        self.missing_addr = missing_addr
        self.missing_size = missing_size






class SimAbstractMemoryError(SimMemoryError):
    pass





class SimRegionMapError(SimMemoryError):
    pass





class SimMemoryLimitError(SimMemoryError):
    pass





class SimMemoryAddressError(SimMemoryError):
    pass





class SimFastMemoryError(SimMemoryError):
    pass





class SimEventError(SimStateError):
    pass





class SimPosixError(SimStateError):
    pass





class SimFilesystemError(SimError):
    pass





class SimSymbolicFilesystemError(SimFilesystemError):
    pass





class SimFileError(SimMemoryError, SimFilesystemError):
    pass





class SimHeapError(SimStateError):
    pass



#
# Error class during VEX parsing
#




class SimUnsupportedError(SimError):
    pass



#
# Solver-related errors
#




class SimSolverError(SimError):
    pass





class SimSolverModeError(SimSolverError):
    pass





class SimSolverOptionError(SimSolverError):
    pass





class SimValueError(SimSolverError):
    pass





class SimUnsatError(SimValueError):
    pass



#
# SimIROp errors
#




class SimOperationError(SimError):
    pass





class UnsupportedIROpError(SimOperationError, SimUnsupportedError):
    pass



#
# SimIRExpr errors
#




class SimExpressionError(SimError):
    pass





class UnsupportedIRExprError(SimExpressionError, SimUnsupportedError):
    pass





class SimCCallError(SimExpressionError):
    pass





class UnsupportedCCallError(SimCCallError, SimUnsupportedError):
    pass





class SimUninitializedAccessError(SimExpressionError):


    def __init__(self, expr_type, expr):
        SimExpressionError.__init__(self)
        self.expr_type = expr_type
        self.expr = expr


    def __repr__(self):
        return f"SimUninitializedAccessError (expr {self.expr} is used as {self.expr_type})"

    def __reduce__(self):
        return (SimUninitializedAccessError, (self.expr_type, self.expr))



#
# SimIRStmt errors
#




class SimStatementError(SimError):
    pass





class UnsupportedIRStmtError(SimStatementError, SimUnsupportedError):
    pass





class UnsupportedDirtyError(UnsupportedIRStmtError, SimUnsupportedError):
    pass





class SimMissingTempError(SimValueError, IndexError):
    pass



#
# Engine-related errors
#




class SimEngineError(SimError):
    pass





class SimIRSBError(SimEngineError):
    pass





class SimTranslationError(SimEngineError):
    pass





class SimProcedureError(SimEngineError):
    pass





class SimProcedureArgumentError(SimProcedureError):
    pass





class SimShadowStackError(SimProcedureError):
    pass





class SimFastPathError(SimEngineError):
    pass





class SimIRSBNoDecodeError(SimIRSBError):
    pass





class AngrUnsupportedSyscallError(AngrSyscallError, SimProcedureError, SimUnsupportedError):
    pass



UnsupportedSyscallError = AngrUnsupportedSyscallError




class SimReliftException(SimEngineError):


    def __init__(self, state):
        super().__init__()
        self.state = state




#
# SimSlicer errors
#




class SimSlicerError(SimError):
    pass



#
# SimAction errors
#




class SimActionError(SimError):
    pass



#
# SimCC errors
#




class SimCCError(SimError):
    pass



#
# UCManager errors
#




class SimUCManagerError(SimError):
    pass





class SimUCManagerAllocationError(SimUCManagerError):
    pass



#
# SimUnicorn errors
#




class SimUnicornUnsupport(SimError):
    pass





class SimUnicornError(SimError):
    pass





class SimUnicornSymbolic(SimError):
    pass



#
# Call-stack Errors
#




class SimEmptyCallStackError(SimError):
    pass



#
# SimStateOptions Errors
#




class SimStateOptionsError(SimError):
    pass



#
# Errors that may be handled by exception handling
#




class SimException(SimError):
    pass





class SimSegfaultException(SimException, SimMemoryError):


    def __init__(self, addr, reason, original_addr=None):
        self.addr = addr
        self.reason = reason
        self.original_addr = original_addr
        super(SimSegfaultError, self).__init__(f"{addr:#x} ({reason})")


    def __repr__(self):
        return "SimSegfaultException({:#x} ({}{})".format(
            self.addr,
            self.reason,
            (", original %s" % self.original_addr.__repr__(max_depth=3)) if self.original_addr is not None else "",
        )

    def __reduce__(self):
        return (SimSegfaultException, (self.addr, self.reason, self.original_addr))



SimSegfaultError = SimSegfaultException




class SimZeroDivisionException(SimException, SimOperationError):
    pass





class AngrNoPluginError(AngrError):
    pass



#
# Concrete Targets Execution errors
#




class SimConcreteMemoryError(AngrError):
    pass





class SimConcreteRegisterError(AngrError):
    pass





class SimConcreteBreakpointError(AngrError):
    pass



#
# Decompiler errors
#




class UnsupportedNodeTypeError(AngrError, NotImplementedError):
    pass