maat.File class

A raw symbolic file.

❱   Methods

list[ Value ] read_buffer(int offset, int nb_elems, [int elem_size=1])

Read a buffer from a symbolic file at a given offset

Parameters
offset The offset from the beginning of the file where to start reading
nb_elems Number of elements to read from the file
elem_size (Optional) Size in bytes of each element read from the file

int write_buffer(int offset, Union[bytes, list[ Value ]] buffer)

Write a buffer to a symbolic file. Returns the number of bytes written

Parameters
offset The offset from the beginning of the file where to start writing
buffer Either concrete bytes or abstract values to write in the file