Enum Validity

pub enum Validity {
    TooShort,
    TooLong,
    InvalidInstruction,
    Excluded,
    Error,
    Ok,
}

Determines whether a byte string is too short, too long, invalid, out-of-scope, or a valid instruction.

Variants

TooShort

TooLong

InvalidInstruction

Excluded

Error

Ok

Implementations

impl Validity

pub fn check_if_cropped_instruction_executed_successfully<A: Arch>( state: &SystemState<A>, result: &Result<SystemState<A>, OracleError>, ) -> Option<Validity>

pub fn infer<A: Arch, O: Oracle<A>>(o: &mut O, instr: &Instruction) -> Validity

pub fn infer_batch<'a, A: Arch, O: Oracle<A>>( o: &'a mut O, instrs: &'a [Instruction], scope: &'a impl Scope, ) -> impl Iterator<Item = Validity> + 'a

Trait Implementations

impl Clone for Validity

fn clone(&self) -> Validity

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Validity

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

Formats the value using the given formatter.

impl Display for Validity

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

Formats the value using the given formatter.

impl Hash for Validity

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Validity

fn eq(&self, other: &Validity) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Validity

impl Eq for Validity

impl StructuralPartialEq for Validity