diff options
Diffstat (limited to 'miasm2/ir')
| -rw-r--r-- | miasm2/ir/translators/C.py | 2 | ||||
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 4 | ||||
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 10 |
3 files changed, 8 insertions, 8 deletions
diff --git a/miasm2/ir/translators/C.py b/miasm2/ir/translators/C.py index a5453745..a239383b 100644 --- a/miasm2/ir/translators/C.py +++ b/miasm2/ir/translators/C.py @@ -372,7 +372,7 @@ class TranslatorC(Translator): - elif expr.op in ['idiv', 'imod']: + elif expr.op in ['sdiv', 'smod']: arg0 = self.from_expr(expr.args[0]) arg1 = self.from_expr(expr.args[1]) diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index eda24bb7..81d86798 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -198,13 +198,13 @@ class TranslatorSMT2(Translator): res = bvmul(res, arg) elif expr.op == "/": res = bvsdiv(res, arg) - elif expr.op == "idiv": + elif expr.op == "sdiv": res = bvsdiv(res, arg) elif expr.op == "udiv": res = bvudiv(res, arg) elif expr.op == "%": res = bvsmod(res, arg) - elif expr.op == "imod": + elif expr.op == "smod": res = bvsmod(res, arg) elif expr.op == "umod": res = bvurem(res, arg) diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index d43468ef..2572ac74 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -171,7 +171,7 @@ class TranslatorZ3(Translator): def _abs(self, z3_value): return z3.If(z3_value >= 0,z3_value,-z3_value) - def _idivC(self, num, den): + def _sdivC(self, num, den): """Divide (signed) @num by @den (z3 values) as C would See modint.__div__ for implementation choice """ @@ -197,12 +197,12 @@ class TranslatorZ3(Translator): res = z3.RotateLeft(res, arg) elif expr.op == ">>>": res = z3.RotateRight(res, arg) - elif expr.op == "idiv": - res = self._idivC(res, arg) + elif expr.op == "sdiv": + res = self._sdivC(res, arg) elif expr.op == "udiv": res = z3.UDiv(res, arg) - elif expr.op == "imod": - res = res - (arg * (self._idivC(res, arg))) + elif expr.op == "smod": + res = res - (arg * (self._sdivC(res, arg))) elif expr.op == "umod": res = z3.URem(res, arg) elif expr.op == "==": |