|
|
@ -886,7 +886,9 @@ class Instruction: |
|
|
|
return self._sload_helper(global_state, str(index)) |
|
|
|
return self._sload_helper(global_state, str(index)) |
|
|
|
|
|
|
|
|
|
|
|
@staticmethod |
|
|
|
@staticmethod |
|
|
|
def _sload_helper(global_state: GlobalState, index: Union[int, ExprRef], constraints=None): |
|
|
|
def _sload_helper( |
|
|
|
|
|
|
|
global_state: GlobalState, index: Union[int, ExprRef], constraints=None |
|
|
|
|
|
|
|
): |
|
|
|
try: |
|
|
|
try: |
|
|
|
data = global_state.environment.active_account.storage[index] |
|
|
|
data = global_state.environment.active_account.storage[index] |
|
|
|
except KeyError: |
|
|
|
except KeyError: |
|
|
|