(self, addr)
return None
:param addr:
        :return:
def get_concrete_state(self, addr):
        """

        :param addr:
        :return:
        """

        for s in self.concrete_states:
            if s.ip._model_concrete.value == addr:
                return s

        return None
def get_concrete_state ( self , addr ) : for s in self . concrete_states : if s . ip . _model_concrete . value == addr : return s return None