Lines Matching defs:k_label
38 dfsan_label k_label = 0;
290 dfsan_set_label(k_label, &ptr, sizeof(ptr));
292 ASSERT_LABEL(ret, k_label);
334 dfsan_set_label(k_label, &p, sizeof(p));
341 ASSERT_LABEL(ret, k_label);
376 dfsan_set_label(k_label, &p, sizeof(p));
383 ASSERT_LABEL(ret, k_label);
638 dfsan_set_label(k_label, &c, sizeof(c));
645 ASSERT_LABEL(crv, k_label);
970 dfsan_set_label(k_label, &(b_buf[3]), 1); // content
992 ASSERT_READ_LABEL(last_buf, last_count, k_label); // content
993 ASSERT_READ_LABEL(&last_buf[3], sizeof(last_buf[3]), k_label); // content
1121 dfsan_set_label(k_label, &p_dst, sizeof(p_dst));
1129 ASSERT_LABEL(ret, k_label);
1153 dfsan_set_label(k_label, &base, sizeof(base));
1157 ASSERT_LABEL(ret, k_label);
1179 dfsan_set_label(k_label, &base, sizeof(base));
1183 ASSERT_LABEL(ret, k_label);
1205 dfsan_set_label(k_label, &base, sizeof(base));
1209 ASSERT_LABEL(ret, k_label);
1231 dfsan_set_label(k_label, &base, sizeof(base));
1235 ASSERT_LABEL(ret, k_label);
1596 dfsan_set_label(k_label, &c, sizeof(c));
1602 ASSERT_LABEL(rv, k_label);
1622 dfsan_set_label(k_label, &p1, sizeof(p1));
1625 ASSERT_LABEL(rv, k_label);
1749 dfsan_set_label(k_label, s, 5);
1757 ASSERT_READ_LABEL(rv, strlen(rv), k_label);
1760 dfsan_union(k_label, m_label)));
1791 dfsan_set_label(k_label, &c, sizeof(c));
1797 ASSERT_LABEL(crv, k_label);
1802 dfsan_set_label(k_label, &ptr, sizeof(ptr));
1805 ASSERT_LABEL(crv, k_label);
1959 dfsan_set_label(k_label, &len, sizeof(len));
2022 dfsan_set_label(k_label, (void *) (s + 1), 2);
2039 ASSERT_READ_LABEL(buf + 7, 2, k_label);
2095 dfsan_set_label(k_label, (void *) (s + 1), 2);
2113 ASSERT_READ_LABEL(buf + 7, 2, k_label);
2190 dfsan_set_label(k_label, (void *)(s + 1), 2); // buf[7]-b[9]
2223 ASSERT_READ_LABEL(buf_out + 1, 2, k_label);
2290 k_label = 4;
2296 assert(i_j_label != k_label);