diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 39ea5c4c..46111773 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1071,13 +1071,9 @@ class Instruction: ) else: # Copy from both code and calldata appropriately. - environment = global_state.environment - concrete_memory_offset = helper.get_concrete_int(memory_offset) concrete_code_offset = helper.get_concrete_int(code_offset) concrete_size = helper.get_concrete_int(size) - calldata = global_state.environment.calldata - code_copy_offset = concrete_code_offset code_copy_size = ( concrete_size