package binsec

  1. Overview
  2. Docs
package binsec
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct