283 void strcpy_effects(char *x, char *y) {  in strcpy_effects()
294 void strcpy_overflow(char *y) {  in strcpy_overflow()
300 void strcpy_no_overflow(char *y) {  in strcpy_no_overflow()
325 void stpcpy_effect(char *x, char *y) {  in stpcpy_effect()
333 void stpcpy_overflow(char *y) {  in stpcpy_overflow()
339 void stpcpy_no_overflow(char *y) {  in stpcpy_no_overflow()
376 void strcat_effects(char *y) {  in strcat_effects()
388 void strcat_overflow_0(char *y) {  in strcat_overflow_0()
394 void strcat_overflow_1(char *y) {  in strcat_overflow_1()
400 void strcat_overflow_2(char *y) {  in strcat_overflow_2()
406 void strcat_no_overflow(char *y) {  in strcat_no_overflow()
473 void strncpy_effects(char *x, char *y) {  in strncpy_effects()
481 void strncpy_overflow(char *y) {  in strncpy_overflow()
487 void strncpy_no_overflow(char *y) {  in strncpy_no_overflow()
493 void strncpy_no_overflow2(char *y, int n) {  in strncpy_no_overflow2()
502 void strncpy_truncate(char *y) {  in strncpy_truncate()
508 void strncpy_no_truncate(char *y) {  in strncpy_no_truncate()
514 void strncpy_exactly_matching_buffer(char *y) {  in strncpy_exactly_matching_buffer()
565 void strncat_effects(char *y) {  in strncat_effects()
577 void strncat_overflow_0(char *y) {  in strncat_overflow_0()
583 void strncat_overflow_1(char *y) {  in strncat_overflow_1()
589 void strncat_overflow_2(char *y) {  in strncat_overflow_2()
595 void strncat_overflow_3(char *y) {  in strncat_overflow_3()
600 void strncat_no_overflow_1(char *y) {  in strncat_no_overflow_1()
606 void strncat_no_overflow_2(char *y) {  in strncat_no_overflow_2()
685   char *y = "a";  in strcmp_check_modelling()  local
711   char *y = "123";  in strcmp_0()  local
717   char *y = "123";  in strcmp_1()  local
723   char *y = "234";  in strcmp_2()  local
729   char *y = "123";  in strcmp_null_0()  local
735   char *y = NULL;  in strcmp_null_1()  local
741   char *y = "234";  in strcmp_diff_length_0()  local
747   char *y = "23456";  in strcmp_diff_length_1()  local
753   char *y = "123";  in strcmp_diff_length_2()  local
759   char *y = "12345";  in strcmp_diff_length_3()  local
794   char *y = "a";  in strncmp_check_modelling()  local
820   char *y = "123";  in strncmp_0()  local
826   char *y = "123";  in strncmp_1()  local
832   char *y = "234";  in strncmp_2()  local
838   char *y = "123";  in strncmp_null_0()  local
844   char *y = NULL;  in strncmp_null_1()  local
850   char *y = "234";  in strncmp_diff_length_0()  local
856   char *y = "23456";  in strncmp_diff_length_1()  local
862   char *y = "123";  in strncmp_diff_length_2()  local
868   char *y = "12345";  in strncmp_diff_length_3()  local
874   char *y = "12345";  in strncmp_diff_length_4()  local
880   char *y = "12345";  in strncmp_diff_length_5()  local
886   char *y = "12345";  in strncmp_diff_length_6()  local
903   char *y = "a";  in strcasecmp_check_modelling()  local
929   char *y = "Abc";  in strcasecmp_0()  local
935   char *y = "abc";  in strcasecmp_1()  local
941   char *y = "Bcd";  in strcasecmp_2()  local
947   char *y = "123";  in strcasecmp_null_0()  local
953   char *y = NULL;  in strcasecmp_null_1()  local
959   char *y = "aBd";  in strcasecmp_diff_length_0()  local
965   char *y = "aBdef";  in strcasecmp_diff_length_1()  local
971   char *y = "abc";  in strcasecmp_diff_length_2()  local
977   char *y = "abcde";  in strcasecmp_diff_length_3()  local
994   char *y = "a";  in strncasecmp_check_modelling()  local
1020   char *y = "Abc";  in strncasecmp_0()  local
1026   char *y = "abc";  in strncasecmp_1()  local
1032   char *y = "Bcd";  in strncasecmp_2()  local
1038   char *y = "123";  in strncasecmp_null_0()  local
1044   char *y = NULL;  in strncasecmp_null_1()  local
1050   char *y = "aBd";  in strncasecmp_diff_length_0()  local
1056   char *y = "aBdef";  in strncasecmp_diff_length_1()  local
1062   char *y = "abc";  in strncasecmp_diff_length_2()  local
1068   char *y = "abcde";  in strncasecmp_diff_length_3()  local
1074   char *y = "aBc";  in strncasecmp_diff_length_4()  local
1080   char *y = "aBd";  in strncasecmp_diff_length_5()  local
1086   char *y = "abc";  in strncasecmp_diff_length_6()  local
1161 void strncpy_exactly_matching_buffer2(char *y) {  in strncpy_exactly_matching_buffer2()