From ed4d0df1a86043fb7378bd8d8d00825978218379 Mon Sep 17 00:00:00 2001 From: Nicholas Mosier Date: Wed, 3 Dec 2025 08:15:31 -0800 Subject: [PATCH] fix arch observer bug The ARCH observer had a small bug in which it exposes the final register state of the previous trace, rather than the initial register state of the current trace. This is due to the fact that the method `self.reset_model()` is called before the input is loaded (`self._load_input(input_)`). This patch just transposes the two to fix the bug. --- src/model.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/model.py b/src/model.py index 7cc286e..c26bc3b 100644 --- a/src/model.py +++ b/src/model.py @@ -203,9 +203,9 @@ def _execute_test_case(self, inputs, nesting, round): taints = [] for input_ in inputs: # self.LOG.dbg_model_header(input_) # Backported; Should be input_id! - self.reset_model() try: self._load_input(input_) + self.reset_model() if LOGGER.model_debug: # address = 0x1ffc + self.sandbox_base # 0x000 - 0x1000 is first page