Module `LibASL.Elf`Source

Sourcetype uint64 = Int64.t

Sourcetype sint64 = Int64.t

Sourcetype uint32 = Int32.t

Sourcetype sint32 = Int32.t

Sourcetype uint8 = Int32.t

Sourcetype uint16 = Int32.t

Sourcetype sint16 = Int32.t

Sourceval get1 : bytes -> int -> uint8

Sourceval get2 : bytes -> int -> uint16

Sourceval get4 : bytes -> int -> uint32

Sourceval get8 : bytes -> int -> uint64

Sourceval byte : bytes -> int -> char

Sourceval addr : bytes -> int -> uint64

Sourceval half : bytes -> int -> uint16

Sourceval shalf : bytes -> int -> sint16

Sourceval off : bytes -> int -> uint64

Sourceval sword : bytes -> int -> sint32

Sourceval word : bytes -> int -> uint32

Sourceval xword : bytes -> int -> uint64

Sourceval sxword : bytes -> int -> uint64

Sourceval p_type : int

Sourceval p_flags : int

Sourceval p_offset : int

Sourceval p_vaddr : int

Sourceval p_paddr : int

Sourceval p_filesz : int

Sourceval p_memsz : int

Sourceval p_align : int

Sourceval sh_name : int

Sourceval sh_type : int

Sourceval sh_flags : int

Sourceval sh_addr : int

Sourceval sh_offset : int

Sourceval sh_size : int

Sourceval sh_link : int

Sourceval sh_info : int

Sourceval sh_addralign : int

Sourceval sh_entsize : int

Sourceval e_ident : int

Sourceval e_type : int

Sourceval e_machine : int

Sourceval e_version : int

Sourceval e_entry : int

Sourceval e_phoff : int

Sourceval e_shoff : int

Sourceval e_flags : int

Sourceval e_ehsize : int

Sourceval e_phentsize : int

Sourceval e_phnum : int

Sourceval e_shentsize : int

Sourceval e_shnum : int

Sourceval e_shstrndx : int

Sourceval elfCLASSNONE : char

Sourceval elfCLASS32 : char

Sourceval elfCLASS64 : char

Sourceval elfCLASSNUM : char

Sourceval elfDATANONE : char

Sourceval elfDATA2LSB : char

Sourceval elfDATA2MSB : char

Sourceval pt_NULL : int32

Sourceval pt_LOAD : int32

Sourceval pt_DYNAMIC : int32

Sourceval pt_INTERP : int32

Sourceval pt_NOTE : int32

Sourceval pt_SHLIB : int32

Sourceval pt_PHDR : int32

Sourceval pt_TLS : int32

Sourceval pt_LOOS : int32

Sourceval pt_HIOS : int32

Sourceval pt_LOPROC : int32

Sourceval pt_HIPROC : int32

Sourceval pt_GNU_EH_FRAME : int32

Sourceval pt_GNU_STACK : int32

Source

val load_block : 
  (uint64 -> char -> unit) ->
  bytes ->
  int ->
  uint64 ->
  uint64 ->
  uint64 ->
  unit

Sourceval load_Phdr : (uint64 -> char -> unit) -> bytes -> int -> unit

Sourceval read_file : string -> bytes

Sourceval load_file : string -> (uint64 -> char -> unit) -> uint64

package asli

Module LibASL.ElfSource

Module `LibASL.Elf`Source