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