remove base 2

6 years ago · 120354ddd9
parent 2eafa1309e
commit 120354ddd9
1 changed files with 0 additions and 5 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -234,11 +234,6 @@ class Instruction:
        base, exponent = util.pop_bitvec(state), util.pop_bitvec(state)
        if (type(base) != BitVecNumRef) or (type(exponent) != BitVecNumRef):
            state.stack.append(BitVec("(" + str(simplify(base)) + ")**(" + str(simplify(exponent)) + ")", 256))
-        elif base.as_long() == 2:
-            if exponent.as_long() == 0:
-                state.stack.append(BitVecVal(1, 256))
-            else:
-                state.stack.append(base << (exponent - 1))
        else:
            state.stack.append(pow(base.as_long(), exponent.as_long(), 2**256))