Enum ExecError

pub enum ExecError {
    Type(String),
    Unimplemented,
    AssertionFailed(String),
    Overflow,
    SymbolicLength(&'static str),
    NoSymbolicType,
    Unreachable(String),
    Unmapped,
    BadRead(&'static str),
    BadWrite(&'static str),
    NoElfEntry,
    OutOfBounds(&'static str),
    MatchFailure,
    Timeout,
    Dead,
    Exit,
    NoModel,
    Z3Error(String),
    Z3Unknown,
    Stopped(String),
}

Variants

Type(String)

Unimplemented

AssertionFailed(String)

Overflow

SymbolicLength(&'static str)

SMTLIB only supports fixed-length bitvectors. This error is raised if a bitvector width would become symbolic.

NoSymbolicType

Returned when there is no symbolic representation for a specific type. Certain types like strings are always assumed to be concrete.

Unreachable(String)

Used for cases that should be unreachable (i.e. are definite errors).

Unmapped

Used when we try to access memory that does not have any defined semantics.

BadRead(&'static str)

BadWrite(&'static str)

NoElfEntry

OutOfBounds(&'static str)

MatchFailure

Timeout

Dead

Exit

NoModel

Z3Error(String)

Z3Unknown

Stopped(String)

Execution stopped because this function is in the stop_functions set

Trait Implementations

impl Debug for ExecError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for ExecError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for ExecError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.