Enum isla_lib::error::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)>

The lower-level source of this error, if any.

pub fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

pub fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

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

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting