diff options
| -rw-r--r-- | miasm2/expression/smt2_helper.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/miasm2/expression/smt2_helper.py b/miasm2/expression/smt2_helper.py index 355a3ba1..f7737116 100644 --- a/miasm2/expression/smt2_helper.py +++ b/miasm2/expression/smt2_helper.py @@ -32,7 +32,7 @@ def smt2_and(a, b): def smt2_ite(cond, a, b): """ - If-then-else: a ? b : c + If-then-else: cond ? a : b """ return "(ite {} {} {})".format(cond, a, b) @@ -188,7 +188,7 @@ def bv_rotate_left(a, b, size): symbolic values for b, the implementation is based on a C implementation. - Therefore, the rotation will be computes as + Therefore, the rotation will be computed as a << (b & (size - 1))) | (a >> (size - (b & (size - 1)))) :param a: bit vector @@ -217,7 +217,7 @@ def bv_rotate_right(a, b, size): symbolic values for b, the implementation is based on a C implementation. - Therefore, the rotation will be computes as + Therefore, the rotation will be computed as a >> (b & (size - 1))) | (a << (size - (b & (size - 1)))) :param a: bit vector |