diff options
| author | Tim Blazytko <tim.blazytko@rub.de> | 2015-03-24 14:05:33 +0100 |
|---|---|---|
| committer | Tim Blazytko <tim.blazytko@rub.de> | 2015-03-24 14:05:33 +0100 |
| commit | d7cb6bffdde477fe9c904b4f7b0285029d34fdd6 (patch) | |
| tree | df519f1ce2a50b506fd24aa89ef27a16893649e1 | |
| parent | 9d6111f4ba840486d18457e900dc2cc8457c624a (diff) | |
| download | miasm-d7cb6bffdde477fe9c904b4f7b0285029d34fdd6.tar.gz miasm-d7cb6bffdde477fe9c904b4f7b0285029d34fdd6.zip | |
added translation for idiv command in z3
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 6f0b1aef..55713a23 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -168,6 +168,8 @@ class TranslatorZ3(Translator): res = res >> arg elif expr.op == "a<<": res = res << arg + elif expr.op == "idiv": + res = res / arg else: raise NotImplementedError("Unsupported OP yet: %s" % expr.op) elif expr.op == 'parity': |