(self, addr, strategies)
Applies concretization strategies on the address until one of them succeeds.
Applies concretization strategies on the address until one of them succeeds.
Applies concretization strategies on the address until one of them succeeds .
def _apply_concretization_strategies(self, addr, strategies):
        """
        Applies concretization strategies on the address until one of them succeeds.
        """

        for s in strategies:
            a = s.concretize(self, addr)
            # return the result if not None!
            if a is not None:
                return a

        # well, we tried
        raise SimMemoryAddressError(
            "Unable to concretize address with the provided strategies."
        )
def _apply_concretization_strategies ( self , addr , strategies ) : for s in strategies : a = s . concretize ( self , addr ) # return the result if not None! if a is not None : return a # well, we tried raise SimMemoryAddressError ( "Unable to concretize address with the provided strategies." )