Module X86toDba

module X86toDba: sig .. end
Lifter from X86 to DBA

exception InstructionUnhandled of string

Access to internal statistics


val handled_instructions : unit -> int * int
insertions / unique insertions
val unknown_instructions : unit -> int * int
insertions / unique insertions
val native_instructions_decoded : unit -> int
Number of decoded instructions. This is always equal to fst (handled_instructions ()) + fst (unknown_instructions ())
val pp_unknown_instructions : Format.formatter -> unit -> unit
val decode : Dba_types.Virtual_address.t -> X86Instruction.t * Dba_types.Block.t
val decode_string : Basic_types.Binstream.t -> int64 -> X86Instruction.t * Dba_types.Block.t