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);
ATF_TC_HEAD(strcpy_basic,tc)15 ATF_TC_HEAD(strcpy_basic, tc)
16 {
17 atf_tc_set_md_var(tc, "descr", "Test strcpy(3) results");
18 }
19
ATF_TC_BODY(strcpy_basic,tc)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
ATF_TP_ADD_TCS(tp)118 ATF_TP_ADD_TCS(tp)
119 {
120
121 ATF_TP_ADD_TC(tp, strcpy_basic);
122
123 return atf_no_error();
124 }
125