From 99b5b005ab43b57cf97b86ad2d06479f5c3e06c2 Mon Sep 17 00:00:00 2001
From: Theofilos Augoustis <theofilos.augoustis@gmail.com>
Date: Fri, 24 Oct 2025 08:09:06 +0000
Subject: Print alternative disassembly

---
 src/focaccia/symbolic.py | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/focaccia/symbolic.py b/src/focaccia/symbolic.py
index 3ace906..414d15b 100644
--- a/src/focaccia/symbolic.py
+++ b/src/focaccia/symbolic.py
@@ -726,8 +726,12 @@ class SymbolicTracer:
                     instr = instr.instr
                 except:
                     if self.force:
-                        warn(f'Unable to disassemble instruction {hex(pc)}: {err}.'
-                             f' Skipping.')
+                        if alt_disas:
+                            warn(f'Unable to handle instruction {alt_disas} at {hex(pc)} in Miasm.'
+                                 f' Skipping.')
+                        else:
+                            warn(f'Unable to disassemble instruction {hex(pc)}: {err}.'
+                                 f' Skipping.')
                         target.step()
                         continue
                     raise # forward exception
-- 
cgit 1.4.1