Module undef
Expand description
Provides generic definitions for specifying undefined behavior on an architecture.
Structs§
- Undefined
Output - An instruction output that may be undefined.
When the condition returns true, or is None, the
targetis undefined. - Undefined
Outputs - A collection of
UndefinedOutputs.
Enums§
- RegOr
Mem - A (part) of a register, or an address calculation and size.
Traits§
- Into
Undefined Outputs - A convenience trait that can convert various types into
UndefinedOutputs. - Undef
Provider - An oracle that can provide information about which outputs are undefined for any given instruction.