diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2015-03-25 06:56:15 +0100 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2015-03-25 06:56:15 +0100 |
| commit | f72d0de75c6815db54f9d54824e8948d962eee5a (patch) | |
| tree | 5272ced9e61cb934b18bcd9e770db574a9f84c04 | |
| parent | 31b70a4a6dc770bb21db97cdac27f7f1e54055d7 (diff) | |
| parent | d7cb6bffdde477fe9c904b4f7b0285029d34fdd6 (diff) | |
| download | miasm-f72d0de75c6815db54f9d54824e8948d962eee5a.tar.gz miasm-f72d0de75c6815db54f9d54824e8948d962eee5a.zip | |
Merge pull request #130 from mrphrazer/extend_z3_translation
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 5940d9dd..d908ac5a 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -167,6 +167,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': |