package binsec

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

X86 utility functions

val bitsize_of_xmm_mm : X86Types.xmm_mm -> int
val bytesize_of_xmm_mm : X86Types.xmm_mm -> int
val xmm_reg_to_string : X86Types.xmm_reg -> string
val xmm_reg_to_mm_reg : X86Types.xmm_reg -> X86Types.mmx_reg
val bitsize_of_simd_size : X86Types.simd_size -> Size.Bit.t
val bytesize_of_simd_size : X86Types.simd_size -> Size.Byte.t
val bytesize_of_szmode : X86Types.sizeMode -> Size.Byte.t
val bitsize_of_szmode : X86Types.sizeMode -> Size.Bit.t
val bytesize_of_mode : X86Types.mode -> Size.Byte.t
val bitsize_of_mode : X86Types.mode -> Size.Bit.t
val bytesize_of_address_mode : X86Types.address_size_mode -> Size.Byte.t
val bitsize_of_address_mode : X86Types.address_size_mode -> Size.Bit.t
val reg8_to_string : X86Types.reg8 -> string
val reg8_to_int : X86Types.reg8 -> int
val reg16_to_string : X86Types.reg16 -> string
val reg16_to_reg32 : X86Types.reg16 -> X86Types.reg32
val reg32_to_string : X86Types.reg32 -> string
val reg32_to_string_8 : X86Types.reg32 -> string
val reg32_to_string_16 : X86Types.reg32 -> string
val mm_reg_to_string : X86Types.mmx_reg -> string
val int_to_reg32 : int -> X86Types.reg32
val segment_reg_to_string : X86Types.segment_reg -> string
val segment_of_string : string -> X86Types.segment_reg option

segment_of_string s returns the Some segment_reg if s is a valid segment name lie "fs" or "gs", None otherwise

A valid name is the 2 letters string representation of the algebraic data type X86Types.segment_reg.

val segments : X86Types.segment_reg list

The list of of possible segement registers

val int_to_segment_reg : int -> X86Types.segment_reg
val float_reg_to_string : X86Types.float_reg -> string
val int_to_float_reg : int -> X86Types.float_reg
val mmx_reg_to_string : X86Types.mmx_reg -> string
val int_to_mmx_reg : int -> X86Types.mmx_reg
val int_to_xmm_reg : int -> X86Types.xmm_reg
val control_reg_to_string : X86Types.control_reg -> string
val int_to_control_reg : int -> X86Types.control_reg
val debug_reg_to_string : X86Types.debug_reg -> string
val int_to_debug_reg : int -> X86Types.debug_reg
val test_reg_to_string : X86Types.test_reg -> string
val int_to_test_reg : int -> X86Types.test_reg
val flag_to_string : X86Types.flag -> string
val flag_to_offset : X86Types.flag -> int
val cc_to_string : X86Types.cc -> string
val int_to_cc : int -> X86Types.cc
val condition_to_string : X86Types.condition -> string
val int_to_condition : int -> X86Types.condition
val sse_to_string : X86Types.sse -> string
val int_to_sse : int -> X86Types.sse
val scale_to_size : X86Types.scale -> int
val scale_to_string : X86Types.scale -> string
val int_to_scale : int -> X86Types.scale
val arith_op_to_string : X86Types.arith_op -> string
val int_to_arith_op : int -> X86Types.arith_op
val shift_op_to_string : X86Types.shift_op -> string
val rotate_op_to_string : X86Types.rotate_op -> string
val shiftd_op_to_string : X86Types.shiftd_op -> string
val int_to_rotate_op : int -> X86Types.rotate_op
val int_to_shift_op : int -> X86Types.shift_op
val mk_address : ?address_mode:X86Types.address_size_mode -> ?address_base:X86Types.reg32 option -> ?address_index:(X86Types.scale * X86Types.reg32) option -> int -> 'a X86Types.genop

Default values are:

  • address_mode: A32
  • address_base: None
  • address_index: None
val peek_spare : Lreader.t -> int
val read_rm8_with_spare : Lreader.t -> X86Types.reg8 X86Types.genop * int
val read_rm16_with_spare : Lreader.t -> X86Types.reg16 X86Types.genop * int
val reg_to_extract : string -> string * int * int
val string_of_register_restrict : string -> int -> int -> string
val get_flag_value : X86Types.flag -> int64 -> int64
val switch_default_data_mode : X86Types.mode -> X86Types.mode

Handle 0x66 prefix byte

Handle 0x67 prefix byte

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct