1 /* $NetBSD: t_strcat.c,v 1.2 2011/07/14 05:46:04 jruoho Exp $ */ 2 3 /* 4 * Written by J.T. Conklin <jtc@acorntoolworks.com> 5 * Public domain. 6 */ 7 8 #include <atf-c.h> 9 #include <string.h> 10 #include <unistd.h> 11 #include <stdio.h> 12 #include <stdlib.h> 13 14 ATF_TC(strcat_basic); 15 ATF_TC_HEAD(strcat_basic, tc) 16 { 17 atf_tc_set_md_var(tc, "descr", "Test strcat(3) results"); 18 } 19 20 ATF_TC_BODY(strcat_basic, tc) 21 { 22 /* try to trick the compiler */ 23 char * (*f)(char *, const char *s) = strcat; 24 25 unsigned int a0, a1, t0, t1; 26 char buf0[64]; 27 char buf1[64]; 28 char *ret; 29 30 struct tab { 31 const char* val; 32 size_t len; 33 }; 34 35 const struct tab tab[] = { 36 /* 37 * patterns that check for all combinations of leading and 38 * trailing unaligned characters (on a 64 bit processor) 39 */ 40 41 { "", 0 }, 42 { "a", 1 }, 43 { "ab", 2 }, 44 { "abc", 3 }, 45 { "abcd", 4 }, 46 { "abcde", 5 }, 47 { "abcdef", 6 }, 48 { "abcdefg", 7 }, 49 { "abcdefgh", 8 }, 50 { "abcdefghi", 9 }, 51 { "abcdefghij", 10 }, 52 { "abcdefghijk", 11 }, 53 { "abcdefghijkl", 12 }, 54 { "abcdefghijklm", 13 }, 55 { "abcdefghijklmn", 14 }, 56 { "abcdefghijklmno", 15 }, 57 { "abcdefghijklmnop", 16 }, 58 { "abcdefghijklmnopq", 17 }, 59 { "abcdefghijklmnopqr", 18 }, 60 { "abcdefghijklmnopqrs", 19 }, 61 { "abcdefghijklmnopqrst", 20 }, 62 { "abcdefghijklmnopqrstu", 21 }, 63 { "abcdefghijklmnopqrstuv", 22 }, 64 { "abcdefghijklmnopqrstuvw", 23 }, 65 66 /* 67 * patterns that check for the cases where the expression: 68 * 69 * ((word - 0x7f7f..7f) & 0x8080..80) 70 * 71 * returns non-zero even though there are no zero bytes in 72 * the word. 73 */ 74 75 { "" "\xff\xff\xff\xff\xff\xff\xff\xff" "abcdefgh", 16 }, 76 { "a" "\xff\xff\xff\xff\xff\xff\xff\xff" "bcdefgh", 16 }, 77 { "ab" "\xff\xff\xff\xff\xff\xff\xff\xff" "cdefgh", 16 }, 78 { "abc" "\xff\xff\xff\xff\xff\xff\xff\xff" "defgh", 16 }, 79 { "abcd" "\xff\xff\xff\xff\xff\xff\xff\xff" "efgh", 16 }, 80 { "abcde" "\xff\xff\xff\xff\xff\xff\xff\xff" "fgh", 16 }, 81 { "abcdef" "\xff\xff\xff\xff\xff\xff\xff\xff" "gh", 16 }, 82 { "abcdefg" "\xff\xff\xff\xff\xff\xff\xff\xff" "h", 16 }, 83 { "abcdefgh" "\xff\xff\xff\xff\xff\xff\xff\xff" "", 16 }, 84 }; 85 86 for (a0 = 0; a0 < sizeof(long); ++a0) { 87 for (a1 = 0; a1 < sizeof(long); ++a1) { 88 for (t0 = 0; t0 < __arraycount(tab); ++t0) { 89 for (t1 = 0; t1 < __arraycount(tab); ++t1) { 90 91 memcpy(&buf0[a0], tab[t0].val, 92 tab[t0].len + 1); 93 memcpy(&buf1[a1], tab[t1].val, 94 tab[t1].len + 1); 95 96 ret = f(&buf0[a0], &buf1[a1]); 97 98 /* 99 * verify strcat returns address 100 * of first parameter 101 */ 102 if (&buf0[a0] != ret) { 103 fprintf(stderr, "a0 %d, a1 %d, " 104 "t0 %d, t1 %d\n", 105 a0, a1, t0, t1); 106 atf_tc_fail("strcat did not " 107 "return its first arg"); 108 } 109 110 /* verify string copied correctly */ 111 if (memcmp(&buf0[a0] + tab[t0].len, 112 &buf1[a1], 113 tab[t1].len + 1) != 0) { 114 fprintf(stderr, "a0 %d, a1 %d, " 115 "t0 %d, t1 %d\n", 116 a0, a1, t0, t1); 117 atf_tc_fail("string not copied " 118 "correctly"); 119 } 120 } 121 } 122 } 123 } 124 } 125 126 ATF_TC(strncat_simple); 127 ATF_TC_HEAD(strncat_simple, tc) 128 { 129 atf_tc_set_md_var(tc, "descr", "Test strncat(3) results"); 130 } 131 132 ATF_TC_BODY(strncat_simple, tc) 133 { 134 char buf[100] = "abcdefg"; 135 136 ATF_CHECK(strncat(buf, "xxx", 0) == buf); 137 ATF_CHECK(strcmp(buf, "abcdefg") == 0); 138 ATF_CHECK(strncat(buf, "xxx", 1) == buf); 139 ATF_CHECK(strcmp(buf, "abcdefgx") == 0); 140 ATF_CHECK(strncat(buf, "xxx", 2) == buf); 141 ATF_CHECK(strcmp(buf, "abcdefgxxx") == 0); 142 ATF_CHECK(strncat(buf, "\0", 1) == buf); 143 ATF_CHECK(strcmp(buf, "abcdefgxxx") == 0); 144 } 145 146 ATF_TP_ADD_TCS(tp) 147 { 148 149 ATF_TP_ADD_TC(tp, strcat_basic); 150 ATF_TP_ADD_TC(tp, strncat_simple); 151 152 return atf_no_error(); 153 } 154