Possible bug in SimConcretizationStrategySingle

[jarsp]

The _concretize function in 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

[ltfish]

lol. You are right. This will be fixed in angr's wip/the_end_times branch.