package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 : Stdlib.Format.formatter -> unit -> unit
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
OCaml

Innovation. Community. Security.