Module `Elf_types_native_uint`Source

unsigned char type and bindings

string_of_unsigned_char uc provides a string representation of unsigned * char uc (in base 10).

natural_of_unsigned_char uc converts an unsigned char uc into a natural.

unsigned_char_of_natural i converts a natural into an unsigned char, wrapping * around if the size of the nat exceeds the storage capacity of an unsigned * char.

unsigned_char_land uc0 uc1 bitwise ANDs two unsigned chars, uc0 and uc1 * together.

unsigned_char_lor uc0 uc1 bitwise OR two unsigned chars, uc0 and uc1 * together.

unsigned_char_lshift uc n performs a left bitshift of n places on unsigned * char uc.

unsigned_char_rshift uc n performs a right bitshift of n places on unsigned * char uc.

unsigned_char_plus uc0 uc1 adds two unsigned chars, uc0 and uc1.

Sourceval natural_of_byte : char -> Nat_big_num.num

Source

val read_unsigned_char : 
  'a ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

read_unsigned_char end bs0 reads an unsigned char from byte_sequence bs0 * assuming endianness end. Returns the unsigned char and the remainder of * the byte_sequence. Fails if an unsigned char cannot be read from the byte_sequence, * e.g. if bs0 is too small.

Sourceval bytes_of_unsigned_char : Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_unsigned_char_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_unsigned_char_dict : 
  Uint32_wrapper.uint32 Show.show_class

ELF address type: * 4 byte unsigned type on 32-bit architectures. * 8 byte unsigned type on 64-bit architectures.

Source

val read_elf32_addr : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf32_addr : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_addr_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf32_addr_dict : 
  Uint32_wrapper.uint32 Show.show_class

elf64_addr type and bindings

Source

val read_elf64_addr : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint64_wrapper.uint64 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf64_addr : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_addr_dict : 
  Uint64_wrapper.uint64 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf64_addr_dict : 
  Uint64_wrapper.uint64 Show.show_class

ELF half word type: * 2 byte unsigned type on 32-bit architectures. * 2 byte unsigned type on 64-bit architectures.

Source

val read_elf32_half : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf32_half : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_half_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf32_half_dict : 
  Uint32_wrapper.uint32 Show.show_class

elf64_half type and bindings

Source

val read_elf64_half : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf64_half : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_half_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf64_half_dict : 
  Uint32_wrapper.uint32 Show.show_class

ELF offset type: * 4 byte unsigned type on 32-bit architectures. * 8 byte unsigned type on 64-bit architectures.

Source

val read_elf32_off : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf32_off : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_off_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf32_off_dict : 
  Uint32_wrapper.uint32 Show.show_class

elf64_off type and bindings

Source

val read_elf64_off : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint64_wrapper.uint64 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf64_off : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_off_dict : 
  Uint64_wrapper.uint64 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf64_off_dict : 
  Uint64_wrapper.uint64 Show.show_class

ELF word type: * 4 byte unsigned type on 32-bit architectures. * 4 byte unsigned type on 64-bit architectures.

Source

val read_elf32_word : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf32_word : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_word_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf32_word_dict : 
  Uint32_wrapper.uint32 Show.show_class

elf64_word type and bindings

Source

val read_elf64_word : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf64_word : Endianness.endianness -> Nat_big_num.num -> char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_word_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf64_word_dict : 
  Uint32_wrapper.uint32 Show.show_class

ELF signed word type: * 4 byte signed type on 32-bit architectures. * 4 byte signed type on 64-bit architectures.

Source

val read_elf32_sword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Int32.t * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf32_sword : Endianness.endianness -> Int32.t -> char list

Source

val instance_Show_Show_Elf_types_native_uint_elf32_sword_dict : 
  Int32.t Show.show_class

elf64_sword type and bindings

Source

val read_elf64_sword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Int32.t * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf64_sword : Endianness.endianness -> Int32.t -> char list

Source

val instance_Show_Show_Elf_types_native_uint_elf64_sword_dict : 
  Int32.t Show.show_class

ELF extra wide word type: * 8 byte unsigned type on 64-bit architectures.

Source

val read_elf64_xword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint64_wrapper.uint64 * Byte_sequence_wrapper.byte_sequence) Error.error

Source

val bytes_of_elf64_xword : 
  Endianness.endianness ->
  Nat_big_num.num ->
  char list

Source

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_xword_dict : 
  Uint64_wrapper.uint64 Lem_basic_classes.eq_class

Source

val instance_Show_Show_Elf_types_native_uint_elf64_xword_dict : 
  Uint64_wrapper.uint64 Show.show_class

ELF signed extra wide word type: * 8 byte signed type on 64-bit architectures.

Source

val read_elf64_sxword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Int64.t * Byte_sequence_wrapper.byte_sequence) Error.error

Sourceval bytes_of_elf64_sxword : Endianness.endianness -> Int64.t -> char list

Source

val instance_Show_Show_Elf_types_native_uint_elf64_sxword_dict : 
  Int64.t Show.show_class

package linksem

Module Elf_types_native_uintSource

Module `Elf_types_native_uint`Source