package rdr
-
rdr
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type tag =
| NULL
| NEEDED
| PLTRELSZ
| PLTGOT
| HASH
| STRTAB
| SYMTAB
| RELA
| RELASZ
| RELAENT
| STRSZ
| SYMENT
| INIT
| FINI
| SONAME
| RPATH
| SYMBOLIC
| REL
| RELSZ
| RELENT
| PLTREL
| DEBUG
| TEXTREL
| JMPREL
| BIND_NOW
| INIT_ARRAY
| FINI_ARRAY
| INIT_ARRAYSZ
| FINI_ARRAYSZ
| RUNPATH
| FLAGS
| PREINIT_ARRAY
| PREINIT_ARRAYSZ
| NUM
| GNU_PRELINKED
| GNU_CONFLICTSZ
| GNU_LIBLISTSZ
| CHECKSUM
| PLTPADSZ
| MOVEENT
| MOVESZ
| FEATURE_1
| POSFLAG_1
| SYMINSZ
| SYMINENT
| GNU_HASH
| TLSDESC_PLT
| TLSDESC_GOT
| GNU_CONFLICT
| GNU_LIBLIST
| CONFIG
| DEPAUDIT
| AUDIT
| PLTPAD
| MOVETAB
| SYMINFO
| VERSYM
| RELACOUNT
| RELCOUNT
| FLAGS_1
| VERDEF
| VERDEFNUM
| VERNEED
| VERNEEDNUM
| UnknownTag of int * string
val tag_to_string : tag -> string
val get_tag : int -> tag
val from_tag : tag -> int
type t = dyn64 list
val is_null : dyn64 -> bool
val set_dyn64 : bytes -> dyn64 -> int -> int
val set : bytes -> dyn64 list -> int -> int
val to_bytes : dyn64 list -> bytes
val dyn64_to_string : dyn64 -> string
val get_dynamic_entry : bytes -> int -> dyn64
val get_dynamic : bytes -> ElfProgramHeader.program_header list -> dyn64 list
val print_dyn64 : dyn64 -> unit
val print_dynamic : dyn64 list -> unit
val get_dynamic_symbol_offset_data :
dyn64 list ->
ElfProgramHeader.slide_sector list ->
int * int * int
val get_soname_offset : dyn64 list -> int
val get_dynamic_strtab_data :
dyn64 list ->
ElfProgramHeader.slide_sector list ->
int * int
val get_libraries : dyn64 list -> bytes -> string list
val get_reloc_data :
dyn64 list ->
ElfProgramHeader.slide_sector list ->
int * int * int * int
val get_dynamic_symbols :
bytes ->
ElfProgramHeader.slide_sector list ->
int ->
int ->
'a ->
ElfSymbolTable.symbol_entry list