package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_kernel_isa.InstructionSource

Canonical representation of an instruction

Type

Accessors

Basics

Sourcemodule type Basic = sig ... end

Generic disassembled instruction type

Sourcemodule Generic : sig ... end

Constructors

Create an instruction without supporting DBA semantics.

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

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

Other accessors

Sourceval start : t -> int
include Binsec_base.Sigs.PRINTABLE with type t := t
Sourceval pp : Format.formatter -> t -> unit