def __generate_storage_var(self, key):
# self.__num_storage_var += 1
# for create-based
# return BitVecVal256(0xff)
return BitVec256('default_storage_' + str(key))
def generateStackVar(self) -> BitVecRef:
self.__numStackVar += 1
return BitVec256('stackVar{}-{}'.format(self.__blockNumber,
self.__numStackVar))
def set_arguments(self, num):
offset = self.size()
for i in range(num):
self.mstore(offset + i * 32, BitVec256('msg_data_{}'.format(i)))
