Module undef

Provides generic definitions for specifying undefined behavior on an architecture.

Structs

• UndefinedOutput
  An instruction output that may be undefined. When the condition returns true, or is None, the target is undefined.
• UndefinedOutputs
  A collection of UndefinedOutputs.

Enums

• RegOrMem
  A (part) of a register, or an address calculation and size.

Traits

• IntoUndefinedOutputs
  A convenience trait that can convert various types into UndefinedOutputs.
• UndefProvider
  An oracle that can provide information about which outputs are undefined for any given instruction.