1 files changed, 76 insertions, 2 deletions
diff --git a/snapshot.py b/snapshot.py
index 3170649..a4bfb0f 100644
--- a/snapshot.py
+++ b/snapshot.py
@@ -1,4 +1,71 @@
 from arch.arch import Arch
+from interpreter import SymbolResolver, SymbolResolveError
+
+class MemoryAccessError(Exception):
+    def __init__(self, msg: str):
+        super().__init__(msg)
+
+class SparseMemory:
+    """Sparse memory.
+
+    Note that out-of-bound reads are possible when performed on unwritten
+    sections of existing pages and that there is no safeguard check for them.
+    """
+    def __init__(self, page_size=1024):
+        self.page_size = page_size
+        self._pages: dict[int, bytes] = {}
+
+    def _to_page_addr_and_offset(self, addr: int) -> tuple[int, int]:
+        off = addr % self.page_size
+        return addr - off, off
+
+    def read(self, addr: int, size: int) -> bytes:
+        """Read a number of bytes from memory.
+        :param addr: The offset from where to read.
+        :param size: The number of bytes to read, starting at at `addr`.
+
+        :return: `size` bytes of data.
+        :raise MemoryAccessError: If `[addr, addr + size)` is not entirely
+                                  contained in the set of stored bytes.
+        :raise ValueError: If `size < 0`.
+        """
+        if size < 0:
+            raise ValueError(f'A negative size is not allowed!')
+
+        res = bytes()
+        while size > 0:
+            page_addr, off = self._to_page_addr_and_offset(addr)
+            if page_addr not in self._pages:
+                raise MemoryAccessError(f'Address {addr} is not contained in'
+                                        f' the sparse memory.')
+            data = self._pages[page_addr]
+            assert(len(data) == self.page_size)
+            read_size = min(size, self.page_size - off)
+            res += data[off:off+read_size]
+
+            size -= read_size
+            addr += read_size
+        return res
+
+    def write(self, addr: int, data: bytes):
+        """Store bytes in the memory.
+        :param addr: The address at which to store the data.
+        :param data: The data to store at `addr`.
+        """
+        while len(data) > 0:
+            page_addr, off = self._to_page_addr_and_offset(addr)
+            if page_addr not in self._pages:
+                self._pages[page_addr] = bytes(self.page_size)
+            page = self._pages[page_addr]
+            assert(len(page) == self.page_size)
+
+            write_size = min(len(data), self.page_size - off)
+            new_page = page[:off] + data[:write_size] + page[off+write_size:]
+            assert(len(new_page) == self.page_size)
+            self._pages[page_addr] = new_page
+
+            data = data[write_size:]
+            addr += write_size
 
 class ProgramState:
     """A snapshot of the program's state."""
@@ -7,6 +74,7 @@ class ProgramState:
 
         dict_t = dict[str, int | None]
         self.regs: dict_t = { reg: None for reg in arch.regnames }
+        self.mem = SparseMemory()
 
     def read(self, reg: str) -> int:
         """Read a register's value.
@@ -28,14 +96,20 @@ class ProgramState:
     def set(self, reg: str, value: int):
         """Assign a value to a register.
 
-        :raise KeyError:   If `reg` is not a register name.
+        :raise KeyError: If `reg` is not a register name.
         """
         regname = self.arch.to_regname(reg)
         if regname is None:
-            raise KeyError(f'Not a register name: {regname}')
+            raise KeyError(f'Not a register name: {reg}')
 
         self.regs[regname] = value
 
+    def read_memory(self, addr: int, size: int) -> bytes:
+        return self.mem.read(addr, size)
+
+    def write_memory(self, addr: int, data: bytes):
+        self.mem.write(addr, data)
+
     def __repr__(self):
         return repr(self.regs)