package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_isa_x86_32.X86toDbaSource

Lifter from X86 to DBA

Access to internal statistics

Sourceval handled_instructions : unit -> int * int

insertions / unique insertions

Sourceval unknown_instructions : unit -> int * int

insertions / unique insertions

Sourceval native_instructions_decoded : unit -> int

Number of decoded instructions. This is always equal to fst (handled_instructions ()) + fst (unknown_instructions ())

Sourceval pp_unknown_instructions : Stdlib.Format.formatter -> unit -> unit

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