diff options
Diffstat (limited to 'miasm2/ir/translators/smt2.py')
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index 5bffd7f2..5d5fb26b 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -163,10 +163,8 @@ class TranslatorSMT2(Translator): def from_ExprCompose(self, expr): res = None - args = sorted(expr.args, key=operator.itemgetter(2)) # sort by start off - for subexpr, start, stop in args: - sube = self.from_expr(subexpr) - e = bv_extract(stop-start-1, 0, sube) + for arg in expr.args: + e = bv_extract(arg.size-1, 0, self.from_expr(arg)) if res: res = bv_concat(e, res) else: |