Lines Matching defs:addrlen

1877   socklen_t addrlen = sizeof(addr);
1878   dfsan_set_label(i_label, &addr, addrlen);
1879   dfsan_set_label(i_label, &addrlen, sizeof(addrlen));
1881   DEFINE_AND_SAVE_ORIGINS(addrlen)
1883   ret = getpeername(sockfds[0], &addr, &addrlen);
1886   ASSERT_ZERO_LABEL(addrlen);
1887   assert(addrlen < sizeof(addr));
1888   ASSERT_READ_ZERO_LABEL(&addr, addrlen);
1889   ASSERT_READ_LABEL(((char *)&addr) + addrlen, 1, i_label);
1891   ASSERT_SAVED_ORIGINS(addrlen)
1902   socklen_t addrlen = sizeof(addr);
1903   dfsan_set_label(i_label, &addr, addrlen);
1904   dfsan_set_label(i_label, &addrlen, sizeof(addrlen));
1906   DEFINE_AND_SAVE_ORIGINS(addrlen)
1907   int ret = getsockname(sockfd, &addr, &addrlen);
1910   ASSERT_ZERO_LABEL(addrlen);
1911   assert(addrlen < sizeof(addr));
1912   ASSERT_READ_ZERO_LABEL(&addr, addrlen);
1913   ASSERT_READ_LABEL(((char *)&addr) + addrlen, 1, i_label);
1915   ASSERT_SAVED_ORIGINS(addrlen)