Handle case where EXP's exponent is a symbolic constant.

trailofbits · Jun 12, 2020 · 399dd08 · 399dd08
1 parent f257ec8
commit 399dd08
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py
@@ -1526,6 +1526,8 @@ def EXP(self, base, exponent):
         :param exponent: exponent value, concretized with sampled values
         :return: BitVec* EXP result
         """
+        if isinstance(exponent, Constant):
+            exponent = exponent.value
         if exponent == 0:
             return 1