1from . import SimConcretizationStrategy
2
3class SimConcretizationStrategySingle(SimConcretizationStrategy):
4    """
5    Concretization strategy that ensures a single solution for an address.
6    """
7
8    def _concretize(self, memory, addr):
9        addrs = self._eval(memory, addr, 2)
10        if len(addrs) == 1:
11            return addrs
12