コード例 #1
0
void runFailure3() {
    struct in_addr addr;
    uint32_t mode;
    struct sockaddr_storage store;
    struct sockaddr_storage buf[] = {
            store,
            store,
            store
    };
    struct sockaddr memb;
    struct sockaddr groups[] = {
            memb,
            memb
    };
    uint32_t len = 30;
    setsourcefilter(anyint(), anyint(), groups, 2, mode, len, buf);
}
コード例 #2
0
void testValues() {
    f = 2;
    
    struct in_addr addr;
    uint32_t mode;
    struct sockaddr_storage store;
    struct sockaddr_storage buf[] = {
            store,
            store,
            store
    };
    struct sockaddr memb;
    struct sockaddr groups[] = {
            memb,
            memb
    };
    uint32_t len = 3;
    setsourcefilter(anyint(), anyint(), groups, 2, mode, len, buf);

    //@ assert f == 2;
    //@ assert vacuous: \false;
}
コード例 #3
0
/*
 * Set IPv4 source filter list in use on socket.
 *
 * Stubbed to setsourcefilter(). Performs conversion of structures which
 * may be inefficient; applications are encouraged to use the
 * protocol-independent API.
 */
int setipv4sourcefilter(int s, struct in_addr interface, struct in_addr group,
	uint32_t fmode, uint32_t numsrc, struct in_addr *slist)
{
#ifdef INET
	sockunion_t	 tmpgroup;
	struct in_addr	*pina;
	sockunion_t	*psu, *tmpslist;
	int		 err;
	size_t		 i;
	uint32_t	 ifindex;

	assert(s != -1);

	tmpslist = NULL;

	if (!IN_MULTICAST(ntohl(group.s_addr)) ||
		(fmode != MCAST_INCLUDE && fmode != MCAST_EXCLUDE))
	{
		errno = EINVAL;
		return (-1);
	}

	ifindex = __inaddr_to_index(interface.s_addr);

	if (ifindex == 0)
	{
		errno = EADDRNOTAVAIL;
		return (-1);
	}

	memset(&tmpgroup, 0, sizeof(sockunion_t));
	tmpgroup.sin.sin_family = AF_INET;
	tmpgroup.sin.sin_len = sizeof(struct sockaddr_in);
	tmpgroup.sin.sin_addr = group;

	if (numsrc != 0 || slist != NULL)
	{
		tmpslist = calloc(numsrc, sizeof(sockunion_t));

		if (tmpslist == NULL)
		{
			errno = ENOMEM;
			return (-1);
		}

		pina = slist;
		psu = tmpslist;

		for (i = 0; i < numsrc; i++, pina++, psu++)
		{
			psu->sin.sin_family = AF_INET;
			psu->sin.sin_len = sizeof(struct sockaddr_in);
			psu->sin.sin_addr = *pina;
		}
	}

	err = setsourcefilter(s, ifindex, (struct sockaddr *)&tmpgroup,
		sizeof(struct sockaddr_in), fmode, numsrc,
		(struct sockaddr_storage *)tmpslist);

	if (tmpslist != NULL)
	{
		free(tmpslist);
	}

	return (err);
#else /* !INET */
	return (EAFNOSUPPORT);
#endif /* INET */
}