Storage Tuple concat

https://github.com/angr/angr/blob/master/angr/storage/file.py#L191 kwargs['extra_constraints'] = kwargs.get('extra_constraints', ()) + (self._size == size,) should be: kwargs['extra_constraints'] = kwargs.get('extra_constraints', []) + [self._size == size]

[rhelmot]

I pushed two things that make your script work. The first is using min to evaluate the filesize instead of eval.

The second is a quick hack to make working with unlinked files more convenient. As an optimization, we don’t actually deepcopy the unlinked files since nobody can ever mutate them anymore, but it does mean that they’re stuck with the state, and thus the constraints, from when they’re unlinked. This is easily fixed by just reassociating them with the state you want to solve against, but this is unintuitive. Now, whenever you access .unlinks, it’ll automatically associate the files with the current state. This will cause problems if you ever pull a reference to a file out of the unlinks list and store it elsewhere, and then try to access a different state’s unlinks containing the same file, but that seems relatively uncommon.

[Tim-Nosco]

Thank you for looking into this!