diff options
Diffstat (limited to 'miasm2/jitter/emulatedsymbexec.py')
| -rw-r--r-- | miasm2/jitter/emulatedsymbexec.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/miasm2/jitter/emulatedsymbexec.py b/miasm2/jitter/emulatedsymbexec.py index 42f96aa2..358e0897 100644 --- a/miasm2/jitter/emulatedsymbexec.py +++ b/miasm2/jitter/emulatedsymbexec.py @@ -41,7 +41,10 @@ class EmulatedSymbExec(SymbolicExecutionEngine): """Memory read wrapper for symbolic execution @expr_mem: ExprMem""" - addr = expr_mem.arg.arg.arg + addr = expr_mem.arg + if not addr.is_int(): + return expr_mem + addr = int(addr) size = expr_mem.size / 8 value = self.cpu.get_mem(addr, size) if self.vm.is_little_endian(): |