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.10.1.tbz

sha256=87d4048c9a90c8a14ee029e77d31032a15427f06416a31938cec8a68394234c4

sha512=6a023d2a5c87c56b0aac489874431d8dcccee1451a072a826190be3a7f75a961688bab95f193f494231744abc3bc9733ab5c809057d36a5e4d24c6c29c369144

doc/binsec/Binsec/Instruction/index.html

Module `Binsec.Instruction`

Canonical representation of an instruction

Type

type t = private {

address : Virtual_address.t;
size : Size.Byte.t;
opcode : Binstream.t;
mnemonic : Mnemonic.t;
dba_block : Dhunk.t;

}

val address : t -> Virtual_address.t

Accessors

val size : t -> Size.Byte.t

val opcode : t -> Binstream.t

val mnemonic : t -> Mnemonic.t

val hunk : t -> Dhunk.t

Basics

module type Basic = sig ... end

module Make (P : Sigs.PRINTABLE) : Basic with type mnemonic = P.t

Generic disassembled instruction type

module Generic : sig ... end

Constructors

val empty : Dba_types.Caddress.t -> t

val create : 
  Virtual_address.t ->
  Size.Byte.t ->
  Binstream.t ->
  Mnemonic.t ->
  Dhunk.t ->
  t

val unsupported : 
  Virtual_address.t ->
  Size.Byte.t ->
  Binstream.t ->
  Mnemonic.t ->
  t

Create an instruction without supporting DBA semantics.

This function should not be used when the menmonic is supported. It will fail in that case.

val of_generic_instruction : Virtual_address.t -> Generic.t -> Dhunk.t -> t

val of_dba_block : ?mnemonic:Mnemonic.t -> Virtual_address.t -> Dhunk.t -> t

val to_generic_instruction : t -> Generic.t

val set_dba_block : t -> Dhunk.t -> t

val set_mnemonic : Mnemonic.t -> t -> t

val is_decoded : t -> bool

val stop : Virtual_address.t -> t

Other accessors

val get_caddress : t -> Dba_types.Caddress.t

val start : t -> int

include Sigs.PRINTABLE with type t := t

val pp : Format.formatter -> t -> unit

On This Page

Type
1. Basics
2. Generic disassembled instruction type
Constructors
Other accessors