diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2015-10-16 09:15:39 +0200 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2015-10-16 09:15:39 +0200 |
| commit | 861e0dc047b3a6675aa8a9b131a53cb6d4dd033f (patch) | |
| tree | bb7fe25464cf25c69bba807cc36c998b8b4fb022 | |
| parent | f23476c474eb9dfdd3cc63a790bd4f0dc62d3e50 (diff) | |
| parent | 4fc7ed217fa3b0ba0cb0465242a29924eee6e537 (diff) | |
| download | miasm-861e0dc047b3a6675aa8a9b131a53cb6d4dd033f.tar.gz miasm-861e0dc047b3a6675aa8a9b131a53cb6d4dd033f.zip | |
Merge pull request #229 from mrphrazer/z3_rotate
TranslatorZ3: added translation for left and right rotation
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index af4544a9..b6645d2b 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -167,6 +167,10 @@ class TranslatorZ3(Translator): res = res >> arg elif expr.op == "a<<": res = res << arg + elif expr.op == "<<<": + res = z3.RotateLeft(res, arg) + elif expr.op == ">>>": + res = z3.RotateRight(res, arg) elif expr.op == "idiv": res = res / arg elif expr.op == "udiv": |