Handle string case in accounts_exist_or_load

5 years ago · 5e123bcb8e
parent 65169e4af9
commit 5e123bcb8e
1 changed files with 3 additions and 1 deletions
--- a/mythril/laser/ethereum/state/world_state.py
+++ b/mythril/laser/ethereum/state/world_state.py
@ -81,7 +81,9 @@ class WorldState:
        :return: The code
        """

-        if isinstance(addr, int):
+        if isinstance(addr, str):
+            addr_bitvec = symbol_factory.BitVecVal(int(addr, 16), 256)
+        elif isinstance(addr, int):
            addr_bitvec = symbol_factory.BitVecVal(addr, 256)
        elif not isinstance(addr, BitVec):
            addr_bitvec = symbol_factory.BitVecVal(int(addr, 16), 256)