The `_concretize` function in [concretization_strategies/single.py](https://github.com/angr/simuvex/blob/master/simuvex/concretization_strategies/single.py) checks for exactly 0 solutions instead of exactly 1 solution: Original: ``` def _concretize(self, memory, addr): addrs = self._eval(memory, addr, 2) if len(addrs) == 0: return addrs ``` Probably intended: ``` def _concretize(self, memory, addr): addrs = self._eval(memory, addr, 2) if len(addrs) == 1: return addrs ```
The
_concretizefunction in concretization_strategies/single.py checks for exactly 0 solutions instead of exactly 1 solution:Original:
Probably intended: