package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.7.2.tbz

sha256=5e1d0f26a567df4abcbeb964b454cf8b2c8484194ff2d9639bdeb94d63edcb3b

sha512=a638c665407fde9aadbd57a7b9f84260db8f03c0cbf65722732d43dfc93122d801e31977e0ba7cd249b340262caf216bca746a3520d0e01d487a5baf6a6c77e6

doc/binsec/Binsec/X86toDba/index.html

Module `Binsec.X86toDba`

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 : 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

On This Page

Access to internal statistics