package rdr

  1. Overview
  2. Docs
type tag =
  1. | NULL
  2. | NEEDED
  3. | PLTRELSZ
  4. | PLTGOT
  5. | HASH
  6. | STRTAB
  7. | SYMTAB
  8. | RELA
  9. | RELASZ
  10. | RELAENT
  11. | STRSZ
  12. | SYMENT
  13. | INIT
  14. | FINI
  15. | SONAME
  16. | RPATH
  17. | SYMBOLIC
  18. | REL
  19. | RELSZ
  20. | RELENT
  21. | PLTREL
  22. | DEBUG
  23. | TEXTREL
  24. | JMPREL
  25. | BIND_NOW
  26. | INIT_ARRAY
  27. | FINI_ARRAY
  28. | INIT_ARRAYSZ
  29. | FINI_ARRAYSZ
  30. | RUNPATH
  31. | FLAGS
  32. | PREINIT_ARRAY
  33. | PREINIT_ARRAYSZ
  34. | NUM
  35. | GNU_PRELINKED
  36. | GNU_CONFLICTSZ
  37. | GNU_LIBLISTSZ
  38. | CHECKSUM
  39. | PLTPADSZ
  40. | MOVEENT
  41. | MOVESZ
  42. | FEATURE_1
  43. | POSFLAG_1
  44. | SYMINSZ
  45. | SYMINENT
  46. | GNU_HASH
  47. | TLSDESC_PLT
  48. | TLSDESC_GOT
  49. | GNU_CONFLICT
  50. | GNU_LIBLIST
  51. | CONFIG
  52. | DEPAUDIT
  53. | AUDIT
  54. | PLTPAD
  55. | MOVETAB
  56. | SYMINFO
  57. | VERSYM
  58. | RELACOUNT
  59. | RELCOUNT
  60. | FLAGS_1
  61. | VERDEF
  62. | VERDEFNUM
  63. | VERNEED
  64. | VERNEEDNUM
  65. | UnknownTag of int * string
val tag_to_string : tag -> string
exception Unknown_tag of string
val get_tag : int -> tag
val from_tag : tag -> int
type dyn64 = {
  1. d_tag : tag;
  2. d_un : int;
}
type t = dyn64 list
val sizeof_dyn64 : int
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 : bytes -> int -> int -> bytes
val get_dynamic_strtab_data : dyn64 list -> ElfProgramHeader.slide_sector list -> int * int
val get_dynamic_symtab : dyn64 list -> dyn64 option
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
val kDT_NULL : int
val kDT_NEEDED : int
val kDT_PLTRELSZ : int
val kDT_PLTGOT : int
val kDT_HASH : int
val kDT_STRTAB : int
val kDT_SYMTAB : int
val kDT_RELA : int
val kDT_RELASZ : int
val kDT_RELAENT : int
val kDT_STRSZ : int
val kDT_SYMENT : int
val kDT_INIT : int
val kDT_FINI : int
val kDT_SONAME : int
val kDT_RPATH : int
val kDT_SYMBOLIC : int
val kDT_REL : int
val kDT_RELSZ : int
val kDT_RELENT : int
val kDT_PLTREL : int
val kDT_DEBUG : int
val kDT_TEXTREL : int
val kDT_JMPREL : int
val kDT_BIND_NOW : int
val kDT_INIT_ARRAY : int
val kDT_FINI_ARRAY : int
val kDT_INIT_ARRAYSZ : int
val kDT_FINI_ARRAYSZ : int
val kDT_RUNPATH : int
val kDT_FLAGS : int
val kDT_ENCODING : int
val kDT_PREINIT_ARRAY : int
val kDT_PREINIT_ARRAYSZ : int
val kDT_NUM : int
val kDT_LOOS : int
val kDT_HIOS : int
val kDT_LOPROC : int
val kDT_HIPROC : int
val kDT_VALRNGLO : int
val kDT_GNU_PRELINKED : int
val kDT_GNU_CONFLICTSZ : int
val kDT_GNU_LIBLISTSZ : int
val kDT_CHECKSUM : int
val kDT_PLTPADSZ : int
val kDT_MOVEENT : int
val kDT_MOVESZ : int
val kDT_FEATURE_1 : int
val kDT_POSFLAG_1 : int
val kDT_SYMINSZ : int
val kDT_SYMINENT : int
val kDT_VALRNGHI : int
val get_DT_VALTAGIDX : int -> int
val kDT_VALNUM : int
val kDT_ADDRRNGLO : int
val kDT_GNU_HASH : int
val kDT_TLSDESC_PLT : int
val kDT_TLSDESC_GOT : int
val kDT_GNU_CONFLICT : int
val kDT_GNU_LIBLIST : int
val kDT_CONFIG : int
val kDT_DEPAUDIT : int
val kDT_AUDIT : int
val kDT_PLTPAD : int
val kDT_MOVETAB : int
val kDT_SYMINFO : int
val kDT_ADDRRNGHI : int
val get_kDT_ADDRTAGIDX : int -> int
val kDT_ADDRNUM : int
val kDT_VERSYM : int
val kDT_RELACOUNT : int
val kDT_RELCOUNT : int
val kDT_FLAGS_1 : int
val kDT_VERDEF : int
val kDT_VERDEFNUM : int
val kDT_VERNEED : int
val kDT_VERNEEDNUM : int
val get_DT_VERSIONTAGIDX : int -> int
val kDT_VERSIONTAGNUM : int
val kDT_AUXILIARY : int
val kDT_FILTER : int
val kDT_EXTRANUM : int
val kDF_ORIGIN : int
val kDF_SYMBOLIC : int
val kDF_TEXTREL : int
val kDF_BIND_NOW : int
val kDF_STATIC_TLS : int
val kDF_1_NOW : int
val kDF_1_GLOBAL : int
val kDF_1_GROUP : int
val kDF_1_NODELETE : int
val kDF_1_LOADFLTR : int
val kDF_1_INITFIRST : int
val kDF_1_NOOPEN : int
val kDF_1_ORIGIN : int
val kDF_1_DIRECT : int
val kDF_1_TRANS : int
val kDF_1_INTERPOSE : int
val kDF_1_NODEFLIB : int
val kDF_1_NODUMP : int
val kDF_1_CONFALT : int
val kDF_1_ENDFILTEE : int
val kDF_1_DISPRELDNE : int
val kDF_1_DISPRELPND : int
val kDF_1_NODIRECT : int
val kDF_1_IGNMULDEF : int
val kDF_1_NOKSYMS : int
val kDF_1_NOHDR : int
val kDF_1_EDITED : int
val kDF_1_NORELOC : int
val kDF_1_SYMINTPOSE : int
val kDF_1_GLOBAUDIT : int
val kDF_1_SINGLETON : int