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 (19)

Authors

Maintainers

B

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

Sources

binsec-0.11.0.tbz

sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a

sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

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