388   char *strd = strdup(str1);  in test_strdup()
389   ASSERT_ZERO_LABEL(strd);  in test_strdup()
390   ASSERT_ZERO_LABEL(strd[0]);  in test_strdup()
391   ASSERT_LABEL(strd[3], i_label);  in test_strdup()
393   for (int i = 0; i < strlen(strd); ++i) {  in test_strdup()
394     if (!dfsan_get_label(strd[i]))  in test_strdup()
396     ASSERT_INIT_ORIGIN(&(strd[i]), str1_o[i]);  in test_strdup()
399   free(strd);  in test_strdup()
407   char *strd = strncpy(str2, str1, 5);  in test_strncpy()  local
408   assert(strd == str2);  in test_strncpy()
410   ASSERT_ZERO_LABEL(strd);  in test_strncpy()
411   ASSERT_ZERO_LABEL(strd[0]);  in test_strncpy()
412   ASSERT_ZERO_LABEL(strd[1]);  in test_strncpy()
413   ASSERT_ZERO_LABEL(strd[2]);  in test_strncpy()
414   ASSERT_LABEL(strd[3], i_label);  in test_strncpy()
415   ASSERT_INIT_ORIGIN_EQ_ORIGIN(&(strd[3]), str1[3]);  in test_strncpy()
419   strd = strncpy(p2, str1, 3);  in test_strncpy()
420   assert(strd == str2);  in test_strncpy()
422   ASSERT_LABEL(strd, j_label);  in test_strncpy()
423   ASSERT_EQ_ORIGIN(strd, p2);  in test_strncpy()
429   ASSERT_ZERO_LABEL(strd[0]);  in test_strncpy()
430   ASSERT_ZERO_LABEL(strd[1]);  in test_strncpy()
431   ASSERT_ZERO_LABEL(strd[2]);  in test_strncpy()
433   ASSERT_LABEL(strd[0], j_label);  in test_strncpy()
434   ASSERT_LABEL(strd[1], j_label);  in test_strncpy()
435   ASSERT_LABEL(strd[2], j_label);  in test_strncpy()