diff options
| -rw-r--r-- | README.md | 1 | ||||
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/README.md b/README.md index 75e8818f..2e9c3b8b 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,5 @@ [](https://travis-ci.org/cea-sec/miasm) +[](https://codeclimate.com/github/cea-sec/miasm) Reverse engineering framework in Python diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index d908ac5a..af4544a9 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -169,6 +169,12 @@ class TranslatorZ3(Translator): res = res << arg elif expr.op == "idiv": res = res / arg + elif expr.op == "udiv": + res = z3.UDiv(res, arg) + elif expr.op == "imod": + res = res % arg + elif expr.op == "umod": + res = z3.URem(res, arg) else: raise NotImplementedError("Unsupported OP yet: %s" % expr.op) elif expr.op == 'parity': |