diff options
Diffstat (limited to 'miasm2/ir/translators/smt2.py')
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index 408eb53f..802481fe 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -149,11 +149,11 @@ class TranslatorSMT2(Translator): return bit_vec_val(str(offset), expr.size) def from_ExprMem(self, expr): - addr = self.from_expr(expr.arg) + addr = self.from_expr(expr.ptr) # size to read from memory size = expr.size # size of memory address - addr_size = expr.arg.size + addr_size = expr.ptr.size return self._mem.get(addr, size, addr_size) def from_ExprSlice(self, expr): |