'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.'

def concretize_read_addr(self, addr, strategies=None):

    if isinstance(addr, (int, long)):
        return [addr]
    elif (not self.state.se.symbolic(addr)):
        return [self.state.se.any_int(addr)]
    strategies = (self.read_strategies if (strategies is None) else strategies)
    return self._apply_concretization_strategies(addr, strategies, 'load')
