(self, addr, strategies=None, condition=None)
return self._apply_concretization_strategies(addr, strategies, 'load', condition)
Concretizes an address meant for reading.

        :param addr:            An expression for the address.
        :param strategies:      A list of concretization strategies (to override the default).
        :returns:               A list of concrete addresses.
Concretizes an address meant for reading.
Concretizes an address meant for reading .
def concretize_read_addr(self, addr, strategies=None, condition=None):
        """
        Concretizes an address meant for reading.

        :param addr:            An expression for the address.
        :param strategies:      A list of concretization strategies (to override the default).
        :returns:               A list of concrete addresses.
        """

        if isinstance(addr, int):
            return [ addr ]
        elif not self.state.solver.symbolic(addr):
            return [ self.state.solver.eval(addr) ]

        strategies = self.read_strategies if strategies is None else strategies
        return self._apply_concretization_strategies(addr, strategies, 'load', condition)
def concretize_read_addr ( self , addr , strategies = None , condition = None ) : if isinstance ( addr , int ) : return [ addr ] elif not self . state . solver . symbolic ( addr ) : return [ self . state . solver . eval ( addr ) ] strategies = self . read_strategies if strategies is None else strategies return self . _apply_concretization_strategies ( addr , strategies , 'load' , condition )