Basic stream reader
val of_img :
?endianness:Machine.endianness ->
?base:Virtual_address.t ->
?offset:int ->
Loader.Img.t ->
tval of_nibbles :
?endianness:Machine.endianness ->
?base:Virtual_address.t ->
?offset:int ->
string ->
tval of_bytes :
?endianness:Machine.endianness ->
?base:Virtual_address.t ->
?offset:int ->
string ->
tval of_binstream :
?endianness:Machine.endianness ->
?base:Virtual_address.t ->
?offset:int ->
Binstream.t ->
tval pp : Stdlib.Format.formatter -> t -> unitval get_virtual_cursor : t -> Virtual_address.tval rewind : t -> int -> unitrewind r n moves back the cursor n bytes.
val advance : t -> int -> unitadvance r n moves the cursor the cursor n bytes.
val set_endianness : t -> Machine.endianness -> unitset_endianness e r sets reader to report value w.r.t to endianness r
module type Accessor = sig ... endAccessor functions of module Read read n=1, 2, 4, or 8 bytes and advance n bytes as well.
module Peek : sig ... endPeek is like Read but does not advance
val get_slice : t -> Virtual_address.t -> Virtual_address.t -> int listget_slice addr_start addr_end returns the list of bytes contained in the interval from addr_start included to addr_end excluded. @assert addr_start < addr_end