bap-elf 1.5.0 · OCaml Package

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

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

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

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

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

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

val set_all_mutable_fields : elf -> unit

package bap-elf