Also ignore missing unicorn registers in the fallback emulator (#2531)

trailofbits · Feb 11, 2022 · 793b1de · 793b1de
1 parent bf2fba3
commit 793b1de
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/manticore/utils/fallback_emulator.py b/manticore/utils/fallback_emulator.py
@@ -215,7 +215,8 @@ def _step(self, instruction):
             "0x%x:\t%s\t%s" % (instruction.address, instruction.mnemonic, instruction.op_str)
         )
 
-        registers = set(self._cpu.canonical_registers)
+        ignore_registers = {"FIP", "FOP", "FDS", "FCS", "FDP", "MXCSR_MASK"}
+        registers = set(self._cpu.canonical_registers) - ignore_registers
 
         # Refer to EFLAGS instead of individual flags for x86
         if self._cpu.arch == CS_ARCH_X86:
@@ -279,7 +280,7 @@ def _step(self, instruction):
 
         if logger.isEnabledFor(logging.DEBUG):
             logger.debug("=" * 10)
-            for register in self._cpu.canonical_registers:
+            for register in registers:
                 logger.debug(
                     f"Register {register:3s}  "
                     f"Manticore: {self._cpu.read_register(register):08x}, "