1 /* $NetBSD: t_strcpy.c,v 1.1 2011/07/07 08:59:33 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(strcpy_basic); 15 ATF_TC_HEAD(strcpy_basic, tc) 16 { 17 atf_tc_set_md_var(tc, "descr", "Test strcpy(3) results"); 18 } 19 20 ATF_TC_BODY(strcpy_basic, tc) 21 { 22 /* try to trick the compiler */ 23 char * (*f)(char *, const char *s) = strcpy; 24 25 unsigned int a0, a1, t; 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 (t = 0; t < (sizeof(tab) / sizeof(tab[0])); ++t) { 89 90 memcpy(&buf1[a1], tab[t].val, tab[t].len + 1); 91 ret = f(&buf0[a0], &buf1[a1]); 92 93 /* 94 * verify strcpy returns address of 95 * first parameter 96 */ 97 if (&buf0[a0] != ret) { 98 fprintf(stderr, "a0 %d, a1 %d, t %d\n", 99 a0, a1, t); 100 atf_tc_fail("strcpy did not return " 101 "its first arg"); 102 } 103 104 /* 105 * verify string was copied correctly 106 */ 107 if (memcmp(&buf0[a0], &buf1[a1], 108 tab[t].len + 1) != 0) { 109 fprintf(stderr, "a0 %d, a1 %d, t %d\n", 110 a0, a1, t); 111 atf_tc_fail("not correctly copied"); 112 } 113 } 114 } 115 } 116 } 117 118 ATF_TP_ADD_TCS(tp) 119 { 120 121 ATF_TP_ADD_TC(tp, strcpy_basic); 122 123 return atf_no_error(); 124 } 125