package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f
doc/bap/Bap/Std/Backend/Img/Fields/Direct/index.html
Module Fields.Direct
val iter :
t ->
arch:((t, arch) Fieldslib.Field.t -> t -> arch -> unit) ->
entry:((t, addr) Fieldslib.Field.t -> t -> addr -> unit) ->
segments:
((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
t ->
(Segment.t * Segment.t list) ->
unit) ->
symbols:((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> unit) ->
sections:
((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> unit) ->
unitval fold :
t ->
init:'acc__0 ->
arch:('acc__0 -> (t, arch) Fieldslib.Field.t -> t -> arch -> 'acc__1) ->
entry:('acc__1 -> (t, addr) Fieldslib.Field.t -> t -> addr -> 'acc__2) ->
segments:
('acc__2 ->
(t, Segment.t * Segment.t list) Fieldslib.Field.t ->
t ->
(Segment.t * Segment.t list) ->
'acc__3) ->
symbols:
('acc__3 ->
(t, Symbol.t list) Fieldslib.Field.t ->
t ->
Symbol.t list ->
'acc__4) ->
sections:
('acc__4 ->
(t, Section.t list) Fieldslib.Field.t ->
t ->
Section.t list ->
'acc__5) ->
'acc__5val for_all :
t ->
arch:((t, arch) Fieldslib.Field.t -> t -> arch -> bool) ->
entry:((t, addr) Fieldslib.Field.t -> t -> addr -> bool) ->
segments:
((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
t ->
(Segment.t * Segment.t list) ->
bool) ->
symbols:((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> bool) ->
sections:
((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> bool) ->
boolval exists :
t ->
arch:((t, arch) Fieldslib.Field.t -> t -> arch -> bool) ->
entry:((t, addr) Fieldslib.Field.t -> t -> addr -> bool) ->
segments:
((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
t ->
(Segment.t * Segment.t list) ->
bool) ->
symbols:((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> bool) ->
sections:
((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> bool) ->
boolval to_list :
t ->
arch:((t, arch) Fieldslib.Field.t -> t -> arch -> 'elem__) ->
entry:((t, addr) Fieldslib.Field.t -> t -> addr -> 'elem__) ->
segments:
((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
t ->
(Segment.t * Segment.t list) ->
'elem__) ->
symbols:
((t, Symbol.t list) Fieldslib.Field.t -> t -> Symbol.t list -> 'elem__) ->
sections:
((t, Section.t list) Fieldslib.Field.t -> t -> Section.t list -> 'elem__) ->
'elem__ listval map :
t ->
arch:((t, arch) Fieldslib.Field.t -> t -> arch -> arch) ->
entry:((t, addr) Fieldslib.Field.t -> t -> addr -> addr) ->
segments:
((t, Segment.t * Segment.t list) Fieldslib.Field.t ->
t ->
(Segment.t * Segment.t list) ->
Segment.t * Segment.t list) ->
symbols:
((t, Symbol.t list) Fieldslib.Field.t ->
t ->
Symbol.t list ->
Symbol.t list) ->
sections:
((t, Section.t list) Fieldslib.Field.t ->
t ->
Section.t list ->
Section.t list) ->
tval set_all_mutable_fields : t -> unit