diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-10 09:54:35 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-10 09:54:35 +0000 |
| commit | 6e4a49e578ce3b5dc723060df635280fe9d73e51 (patch) | |
| tree | 4cc169c30f3c46711dd4effbbe57af0f53817c83 | |
| parent | ee9912307a0bfb7efc051a27aad0e37bc87814fd (diff) | |
| download | focaccia-6e4a49e578ce3b5dc723060df635280fe9d73e51.tar.gz focaccia-6e4a49e578ce3b5dc723060df635280fe9d73e51.zip | |
Add exception for system call buffer events (they require special memory write handling that we do not implement)
| -rw-r--r-- | src/focaccia/deterministic.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/focaccia/deterministic.py b/src/focaccia/deterministic.py index 252e2f8..119e6e3 100644 --- a/src/focaccia/deterministic.py +++ b/src/focaccia/deterministic.py @@ -506,6 +506,7 @@ class DeterministicLog: registers, mem_writes, raw_event.event.syscallbufFlush.mprotectRecords) + raise NotImplementedError(f'Cannot support system call buffer events yet: {event}') if event_type == 'signal': signal = raw_event.event.signal signal_descriptor = SignalDescriptor(signal.arch, |