X86toDba (p.binsec.0.8.1.doc.binsec.Binsec.X86toDba)

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 : Lreader.t -> Virtual_address.t -> X86Instruction.t * Dhunk.t

val decode_binstream : 
  ?base_addr:Virtual_address.t ->
  Binstream.t ->
  X86Instruction.t * Dhunk.t

decode_binstream base_addr bstream decodes a binary stream whose address is supposed to be base_addr into an instruction and its DBA hunk encoding.

base_addr defaults to 0