make copy take a slice of the memory vs the ref to the memory array

This can cause some concurrency issues
pull/962/head
Joran Honig 6 years ago
parent 40d02c662a
commit dfea10193f
  1. 5
      mythril/laser/ethereum/state/memory.py

@ -29,6 +29,11 @@ class Memory:
"""
return len(self._memory)
def __copy__(self):
copy = Memory()
copy._memory = self._memory[:]
return copy
def extend(self, size):
"""

Loading…
Cancel
Save