diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-08-07 22:48:00 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-08-07 22:48:00 +0200 |
| commit | 2b0f00d86ffd5a4423bdf39a41e324cdc42d6f1b (patch) | |
| tree | af90a633baf47edd42379b96266f038dd98a7f1c | |
| parent | 91d5c147385dbb3bc8999bae3251ddc90c66f2e0 (diff) | |
| download | miasm-2b0f00d86ffd5a4423bdf39a41e324cdc42d6f1b.tar.gz miasm-2b0f00d86ffd5a4423bdf39a41e324cdc42d6f1b.zip | |
Canonicalize before returning the base ptr (avoid ((a + b) + c))
| -rw-r--r-- | miasm2/ir/symbexec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm2/ir/symbexec.py b/miasm2/ir/symbexec.py index 1a077de5..433db049 100644 --- a/miasm2/ir/symbexec.py +++ b/miasm2/ir/symbexec.py @@ -198,7 +198,7 @@ class MemArray(MutableMapping): ptr = base else: ptr = base + ExprInt(offset, base.size) - return ptr + return ptr.canonize() def read(self, offset, size): """ |