Trait UndefProvider

pub trait UndefProvider<A: Arch> {
    type Error;

    // Required method
    fn undefined_outputs_of(
        &self,
        instr: &[u8],
    ) -> Result<UndefinedOutputs<A>, Self::Error>;
}

An oracle that can provide information about which outputs are undefined for any given instruction.

Required Associated Types

type Error

The error type returned by this provider.

Required Methods

fn undefined_outputs_of( &self, instr: &[u8], ) -> Result<UndefinedOutputs<A>, Self::Error>

Returns a list of outputs that can be undefined, and the conditions under which they are undefined.

Implementors

impl UndefProvider<X64Arch> for IntelUndefWithXed

type Error = UdError