diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-10-12 13:49:37 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-10-12 13:49:37 +0200 |
| commit | 9503c250c5524a6c388aba032be4e34517b358f9 (patch) | |
| tree | cb9ddd00da3917c31b570b5b9ca849ac4803c55c /miasm2/ir/translators/z3_ir.py | |
| parent | 3cd3675165cd96c030401fbb1e6392898507a71b (diff) | |
| download | miasm-9503c250c5524a6c388aba032be4e34517b358f9.tar.gz miasm-9503c250c5524a6c388aba032be4e34517b358f9.zip | |
Expression: replace arg by ptr in ExprMem
Diffstat (limited to 'miasm2/ir/translators/z3_ir.py')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 97a0397a..55952180 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -144,7 +144,7 @@ class TranslatorZ3(Translator): return z3.BitVec(str(loc_key), expr.size) def from_ExprMem(self, expr): - addr = self.from_expr(expr.arg) + addr = self.from_expr(expr.ptr) return self._mem.get(addr, expr.size) def from_ExprSlice(self, expr): |