package binsec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

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

Semantic analysis of binary executables

Install

dune-project

Dependency

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

Authors

Maintainers

B

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

Sources

binsec-0.11.3.tbz

sha256=93f6fe439d486b166062ef6dd92c4ce3aa0947b5e18b1c3aa7de2fc3003aa6d9

sha512=98feb2b0a3f0a33fe912e9885311dd1c051768c707437f8ef038a8489fec019960142b588c6973eb8f726a14d9b2a1b4c765d915539911cb9f6ed6da9f1e51f2

doc/binsec_kernel_isa/Binsec_kernel_isa/Instruction/index.html

Module `Binsec_kernel_isa.Instruction`Source

Canonical representation of an instruction

Type

Sourcetype t = private {

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

}

Sourceval address : t -> Binsec_base.Virtual_address.t

Accessors

Sourceval size : t -> Binsec_base.Size.Byte.t

Sourceval opcode : t -> Binsec_base.Binstream.t

Sourceval mnemonic : t -> Binsec_base.Mnemonic.t

Sourceval hunk : t -> Binsec_kernel_dba.Dhunk.t

Basics

Sourcemodule type Basic = sig ... end

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

Generic disassembled instruction type

Sourcemodule Generic : sig ... end

Constructors

Sourceval empty : Binsec_kernel_dba.Dba_types.Caddress.t -> t

Source

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

Source

val unsupported : 
  Binsec_base.Virtual_address.t ->
  Binsec_base.Size.Byte.t ->
  Binsec_base.Binstream.t ->
  Binsec_base.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.

Source

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

Source

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

Sourceval to_generic_instruction : t -> Generic.t

Sourceval set_dba_block : t -> Binsec_kernel_dba.Dhunk.t -> t

Sourceval set_mnemonic : Binsec_base.Mnemonic.t -> t -> t

Sourceval is_decoded : t -> bool

Sourceval stop : Binsec_base.Virtual_address.t -> t

Other accessors

Sourceval get_caddress : t -> Binsec_kernel_dba.Dba_types.Caddress.t

Sourceval start : t -> int

include Binsec_base.Sigs.PRINTABLE with type t := t

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

On This Page

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

package binsec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/binsec_kernel_isa/Binsec_kernel_isa/Instruction/index.html

Module Binsec_kernel_isa.InstructionSource

Type

Basics

Generic disassembled instruction type

Constructors

Other accessors

dune-project
Dependency

Module `Binsec_kernel_isa.Instruction`Source