package bap-elf

  1. Overview
  2. Docs
val names : string list
val p_offset : (segment, int64) Fieldslib.Field.t
val p_filesz : (segment, int64) Fieldslib.Field.t
val p_memsz : (segment, int64) Fieldslib.Field.t
val p_align : (segment, int64) Fieldslib.Field.t
val p_paddr : (segment, int64) Fieldslib.Field.t
val p_vaddr : (segment, int64) Fieldslib.Field.t
val p_flags : (segment, p_flag list) Fieldslib.Field.t
val fold : init:'acc__0 -> p_type:('acc__0 -> (segment, p_type) Fieldslib.Field.t -> 'acc__1) -> p_flags:('acc__1 -> (segment, p_flag list) Fieldslib.Field.t -> 'acc__2) -> p_vaddr:('acc__2 -> (segment, int64) Fieldslib.Field.t -> 'acc__3) -> p_paddr:('acc__3 -> (segment, int64) Fieldslib.Field.t -> 'acc__4) -> p_align:('acc__4 -> (segment, int64) Fieldslib.Field.t -> 'acc__5) -> p_memsz:('acc__5 -> (segment, int64) Fieldslib.Field.t -> 'acc__6) -> p_filesz:('acc__6 -> (segment, int64) Fieldslib.Field.t -> 'acc__7) -> p_offset:('acc__7 -> (segment, int64) Fieldslib.Field.t -> 'acc__8) -> 'acc__8
val make_creator : p_type: ((segment, p_type) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> p_type) * 'acc__1) -> p_flags: ((segment, p_flag list) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> p_flag list) * 'acc__2) -> p_vaddr: ((segment, int64) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> int64) * 'acc__3) -> p_paddr: ((segment, int64) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> int64) * 'acc__4) -> p_align: ((segment, int64) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> int64) * 'acc__5) -> p_memsz: ((segment, int64) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> int64) * 'acc__6) -> p_filesz: ((segment, int64) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> int64) * 'acc__7) -> p_offset: ((segment, int64) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> int64) * 'acc__8) -> 'acc__0 -> ('input__ -> segment) * 'acc__8
val create : p_type:p_type -> p_flags:p_flag list -> p_vaddr:int64 -> p_paddr:int64 -> p_align:int64 -> p_memsz:int64 -> p_filesz:int64 -> p_offset:int64 -> segment
val map : p_type:((segment, p_type) Fieldslib.Field.t -> p_type) -> p_flags:((segment, p_flag list) Fieldslib.Field.t -> p_flag list) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> int64) -> p_paddr:((segment, int64) Fieldslib.Field.t -> int64) -> p_align:((segment, int64) Fieldslib.Field.t -> int64) -> p_memsz:((segment, int64) Fieldslib.Field.t -> int64) -> p_filesz:((segment, int64) Fieldslib.Field.t -> int64) -> p_offset:((segment, int64) Fieldslib.Field.t -> int64) -> segment
val iter : p_type:((segment, p_type) Fieldslib.Field.t -> unit) -> p_flags:((segment, p_flag list) Fieldslib.Field.t -> unit) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> unit) -> p_paddr:((segment, int64) Fieldslib.Field.t -> unit) -> p_align:((segment, int64) Fieldslib.Field.t -> unit) -> p_memsz:((segment, int64) Fieldslib.Field.t -> unit) -> p_filesz:((segment, int64) Fieldslib.Field.t -> unit) -> p_offset:((segment, int64) Fieldslib.Field.t -> unit) -> unit
val for_all : p_type:((segment, p_type) Fieldslib.Field.t -> bool) -> p_flags:((segment, p_flag list) Fieldslib.Field.t -> bool) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> bool) -> p_paddr:((segment, int64) Fieldslib.Field.t -> bool) -> p_align:((segment, int64) Fieldslib.Field.t -> bool) -> p_memsz:((segment, int64) Fieldslib.Field.t -> bool) -> p_filesz:((segment, int64) Fieldslib.Field.t -> bool) -> p_offset:((segment, int64) Fieldslib.Field.t -> bool) -> bool
val exists : p_type:((segment, p_type) Fieldslib.Field.t -> bool) -> p_flags:((segment, p_flag list) Fieldslib.Field.t -> bool) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> bool) -> p_paddr:((segment, int64) Fieldslib.Field.t -> bool) -> p_align:((segment, int64) Fieldslib.Field.t -> bool) -> p_memsz:((segment, int64) Fieldslib.Field.t -> bool) -> p_filesz:((segment, int64) Fieldslib.Field.t -> bool) -> p_offset:((segment, int64) Fieldslib.Field.t -> bool) -> bool
val to_list : p_type:((segment, p_type) Fieldslib.Field.t -> 'elem__) -> p_flags:((segment, p_flag list) Fieldslib.Field.t -> 'elem__) -> p_vaddr:((segment, int64) Fieldslib.Field.t -> 'elem__) -> p_paddr:((segment, int64) Fieldslib.Field.t -> 'elem__) -> p_align:((segment, int64) Fieldslib.Field.t -> 'elem__) -> p_memsz:((segment, int64) Fieldslib.Field.t -> 'elem__) -> p_filesz:((segment, int64) Fieldslib.Field.t -> 'elem__) -> p_offset:((segment, int64) Fieldslib.Field.t -> 'elem__) -> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], segment, 'x0) Fieldslib.Field.user -> 'x0 list
module Direct : sig ... end
OCaml

Innovation. Community. Security.