bap-elf 1.3.0 · OCaml Package

val names : string list

val e_segments : (elf, segment Bap.Std.seq) Fieldslib.Field.t

val e_sections : (elf, section Bap.Std.seq) Fieldslib.Field.t

val e_shstrndx : (elf, int) Fieldslib.Field.t

val e_entry : (elf, int64) Fieldslib.Field.t

val e_machine : (elf, e_machine) Fieldslib.Field.t

val e_type : (elf, e_type) Fieldslib.Field.t

val e_abiver : (elf, int) Fieldslib.Field.t

val e_osabi : (elf, e_osabi) Fieldslib.Field.t

val e_version : (elf, int) Fieldslib.Field.t

val e_data : (elf, e_data) Fieldslib.Field.t

val e_class : (elf, e_class) Fieldslib.Field.t

val fold : 
  init:'acc__0 ->
  e_class:('acc__0 -> (elf, e_class) Fieldslib.Field.t -> 'acc__1) ->
  e_data:('acc__1 -> (elf, e_data) Fieldslib.Field.t -> 'acc__2) ->
  e_version:('acc__2 -> (elf, int) Fieldslib.Field.t -> 'acc__3) ->
  e_osabi:('acc__3 -> (elf, e_osabi) Fieldslib.Field.t -> 'acc__4) ->
  e_abiver:('acc__4 -> (elf, int) Fieldslib.Field.t -> 'acc__5) ->
  e_type:('acc__5 -> (elf, e_type) Fieldslib.Field.t -> 'acc__6) ->
  e_machine:('acc__6 -> (elf, e_machine) Fieldslib.Field.t -> 'acc__7) ->
  e_entry:('acc__7 -> (elf, int64) Fieldslib.Field.t -> 'acc__8) ->
  e_shstrndx:('acc__8 -> (elf, int) Fieldslib.Field.t -> 'acc__9) ->
  e_sections:
    ('acc__9 -> (elf, section Bap.Std.seq) Fieldslib.Field.t -> 'acc__10) ->
  e_segments:
    ('acc__10 -> (elf, segment Bap.Std.seq) Fieldslib.Field.t -> 'acc__11) ->
  'acc__11

val make_creator : 
  e_class:
    ((elf, e_class) Fieldslib.Field.t ->
      'acc__0 ->
      ('input__ -> e_class) * 'acc__1) ->
  e_data:
    ((elf, e_data) Fieldslib.Field.t ->
      'acc__1 ->
      ('input__ -> e_data) * 'acc__2) ->
  e_version:
    ((elf, int) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> int) * 'acc__3) ->
  e_osabi:
    ((elf, e_osabi) Fieldslib.Field.t ->
      'acc__3 ->
      ('input__ -> e_osabi) * 'acc__4) ->
  e_abiver:
    ((elf, int) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> int) * 'acc__5) ->
  e_type:
    ((elf, e_type) Fieldslib.Field.t ->
      'acc__5 ->
      ('input__ -> e_type) * 'acc__6) ->
  e_machine:
    ((elf, e_machine) Fieldslib.Field.t ->
      'acc__6 ->
      ('input__ -> e_machine) * 'acc__7) ->
  e_entry:
    ((elf, int64) Fieldslib.Field.t ->
      'acc__7 ->
      ('input__ -> int64) * 'acc__8) ->
  e_shstrndx:
    ((elf, int) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> int) * 'acc__9) ->
  e_sections:
    ((elf, section Bap.Std.seq) Fieldslib.Field.t ->
      'acc__9 ->
      ('input__ -> section Bap.Std.seq) * 'acc__10) ->
  e_segments:
    ((elf, segment Bap.Std.seq) Fieldslib.Field.t ->
      'acc__10 ->
      ('input__ -> segment Bap.Std.seq) * 'acc__11) ->
  'acc__0 ->
  ('input__ -> elf) * 'acc__11

val create : 
  e_class:e_class ->
  e_data:e_data ->
  e_version:int ->
  e_osabi:e_osabi ->
  e_abiver:int ->
  e_type:e_type ->
  e_machine:e_machine ->
  e_entry:int64 ->
  e_shstrndx:int ->
  e_sections:section Bap.Std.seq ->
  e_segments:segment Bap.Std.seq ->
  elf

val map : 
  e_class:((elf, e_class) Fieldslib.Field.t -> e_class) ->
  e_data:((elf, e_data) Fieldslib.Field.t -> e_data) ->
  e_version:((elf, int) Fieldslib.Field.t -> int) ->
  e_osabi:((elf, e_osabi) Fieldslib.Field.t -> e_osabi) ->
  e_abiver:((elf, int) Fieldslib.Field.t -> int) ->
  e_type:((elf, e_type) Fieldslib.Field.t -> e_type) ->
  e_machine:((elf, e_machine) Fieldslib.Field.t -> e_machine) ->
  e_entry:((elf, int64) Fieldslib.Field.t -> int64) ->
  e_shstrndx:((elf, int) Fieldslib.Field.t -> int) ->
  e_sections:
    ((elf, section Bap.Std.seq) Fieldslib.Field.t -> section Bap.Std.seq) ->
  e_segments:
    ((elf, segment Bap.Std.seq) Fieldslib.Field.t -> segment Bap.Std.seq) ->
  elf

val iter : 
  e_class:((elf, e_class) Fieldslib.Field.t -> unit) ->
  e_data:((elf, e_data) Fieldslib.Field.t -> unit) ->
  e_version:((elf, int) Fieldslib.Field.t -> unit) ->
  e_osabi:((elf, e_osabi) Fieldslib.Field.t -> unit) ->
  e_abiver:((elf, int) Fieldslib.Field.t -> unit) ->
  e_type:((elf, e_type) Fieldslib.Field.t -> unit) ->
  e_machine:((elf, e_machine) Fieldslib.Field.t -> unit) ->
  e_entry:((elf, int64) Fieldslib.Field.t -> unit) ->
  e_shstrndx:((elf, int) Fieldslib.Field.t -> unit) ->
  e_sections:((elf, section Bap.Std.seq) Fieldslib.Field.t -> unit) ->
  e_segments:((elf, segment Bap.Std.seq) Fieldslib.Field.t -> unit) ->
  unit

val for_all : 
  e_class:((elf, e_class) Fieldslib.Field.t -> bool) ->
  e_data:((elf, e_data) Fieldslib.Field.t -> bool) ->
  e_version:((elf, int) Fieldslib.Field.t -> bool) ->
  e_osabi:((elf, e_osabi) Fieldslib.Field.t -> bool) ->
  e_abiver:((elf, int) Fieldslib.Field.t -> bool) ->
  e_type:((elf, e_type) Fieldslib.Field.t -> bool) ->
  e_machine:((elf, e_machine) Fieldslib.Field.t -> bool) ->
  e_entry:((elf, int64) Fieldslib.Field.t -> bool) ->
  e_shstrndx:((elf, int) Fieldslib.Field.t -> bool) ->
  e_sections:((elf, section Bap.Std.seq) Fieldslib.Field.t -> bool) ->
  e_segments:((elf, segment Bap.Std.seq) Fieldslib.Field.t -> bool) ->
  bool

val exists : 
  e_class:((elf, e_class) Fieldslib.Field.t -> bool) ->
  e_data:((elf, e_data) Fieldslib.Field.t -> bool) ->
  e_version:((elf, int) Fieldslib.Field.t -> bool) ->
  e_osabi:((elf, e_osabi) Fieldslib.Field.t -> bool) ->
  e_abiver:((elf, int) Fieldslib.Field.t -> bool) ->
  e_type:((elf, e_type) Fieldslib.Field.t -> bool) ->
  e_machine:((elf, e_machine) Fieldslib.Field.t -> bool) ->
  e_entry:((elf, int64) Fieldslib.Field.t -> bool) ->
  e_shstrndx:((elf, int) Fieldslib.Field.t -> bool) ->
  e_sections:((elf, section Bap.Std.seq) Fieldslib.Field.t -> bool) ->
  e_segments:((elf, segment Bap.Std.seq) Fieldslib.Field.t -> bool) ->
  bool

val to_list : 
  e_class:((elf, e_class) Fieldslib.Field.t -> 'elem__) ->
  e_data:((elf, e_data) Fieldslib.Field.t -> 'elem__) ->
  e_version:((elf, int) Fieldslib.Field.t -> 'elem__) ->
  e_osabi:((elf, e_osabi) Fieldslib.Field.t -> 'elem__) ->
  e_abiver:((elf, int) Fieldslib.Field.t -> 'elem__) ->
  e_type:((elf, e_type) Fieldslib.Field.t -> 'elem__) ->
  e_machine:((elf, e_machine) Fieldslib.Field.t -> 'elem__) ->
  e_entry:((elf, int64) Fieldslib.Field.t -> 'elem__) ->
  e_shstrndx:((elf, int) Fieldslib.Field.t -> 'elem__) ->
  e_sections:((elf, section Bap.Std.seq) Fieldslib.Field.t -> 'elem__) ->
  e_segments:((elf, segment Bap.Std.seq) Fieldslib.Field.t -> 'elem__) ->
  'elem__ list

val map_poly : 
  ([< `Read | `Set_and_create ], elf, 'x0) Fieldslib.Field.user ->
  'x0 list

module Direct : sig ... end

package bap-elf