xref: /freebsd-src/lib/libc/tests/string/stpncpy_test.c (revision 6fa9e7d8737548ef93c573387ce62402c368d486)
1347267dcSEnji Cooper /*-
2347267dcSEnji Cooper  * Copyright (c) 2009 David Schultz <das@FreeBSD.org>
3*6fa9e7d8SRobert Clausecker  * Copyright (c) 2023 The FreeBSD Foundation
4347267dcSEnji Cooper  * All rights reserved.
5347267dcSEnji Cooper  *
6*6fa9e7d8SRobert Clausecker  * Portions of this software were developed by Robert Clausecker
7*6fa9e7d8SRobert Clausecker  * <fuz@FreeBSD.org> under sponsorship from the FreeBSD Foundation.
8*6fa9e7d8SRobert Clausecker  *
9347267dcSEnji Cooper  * Redistribution and use in source and binary forms, with or without
10347267dcSEnji Cooper  * modification, are permitted provided that the following conditions
11347267dcSEnji Cooper  * are met:
12347267dcSEnji Cooper  * 1. Redistributions of source code must retain the above copyright
13347267dcSEnji Cooper  *    notice, this list of conditions and the following disclaimer.
14347267dcSEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
15347267dcSEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
16347267dcSEnji Cooper  *    documentation and/or other materials provided with the distribution.
17347267dcSEnji Cooper  *
18347267dcSEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19347267dcSEnji Cooper  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20347267dcSEnji Cooper  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21347267dcSEnji Cooper  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22347267dcSEnji Cooper  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23347267dcSEnji Cooper  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24347267dcSEnji Cooper  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25347267dcSEnji Cooper  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26347267dcSEnji Cooper  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27347267dcSEnji Cooper  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28347267dcSEnji Cooper  * SUCH DAMAGE.
29347267dcSEnji Cooper  */
30347267dcSEnji Cooper 
31347267dcSEnji Cooper #include <sys/param.h>
32347267dcSEnji Cooper #include <sys/mman.h>
33347267dcSEnji Cooper #include <assert.h>
34*6fa9e7d8SRobert Clausecker #include <dlfcn.h>
35347267dcSEnji Cooper #include <stdio.h>
36347267dcSEnji Cooper #include <stdlib.h>
37347267dcSEnji Cooper #include <string.h>
38347267dcSEnji Cooper 
39347267dcSEnji Cooper #include <atf-c.h>
40347267dcSEnji Cooper 
41*6fa9e7d8SRobert Clausecker static char *(*stpncpy_fn)(char *restrict, const char *restrict, size_t);
42*6fa9e7d8SRobert Clausecker 
43347267dcSEnji Cooper static char *
makebuf(size_t len,int guard_at_end)44347267dcSEnji Cooper makebuf(size_t len, int guard_at_end)
45347267dcSEnji Cooper {
46347267dcSEnji Cooper 	char *buf;
47748f7c8dSAndrew Turner 	size_t alloc_size, page_size;
48748f7c8dSAndrew Turner 
49748f7c8dSAndrew Turner 	page_size = getpagesize();
50748f7c8dSAndrew Turner 	alloc_size = roundup2(len, page_size) + page_size;
51347267dcSEnji Cooper 
52347267dcSEnji Cooper 	buf = mmap(NULL, alloc_size, PROT_READ | PROT_WRITE, MAP_ANON, -1, 0);
53347267dcSEnji Cooper 	assert(buf);
54347267dcSEnji Cooper 	if (guard_at_end) {
55748f7c8dSAndrew Turner 		assert(munmap(buf + alloc_size - page_size, page_size) == 0);
56748f7c8dSAndrew Turner 		return (buf + alloc_size - page_size - len);
57347267dcSEnji Cooper 	} else {
58748f7c8dSAndrew Turner 		assert(munmap(buf, page_size) == 0);
59748f7c8dSAndrew Turner 		return (buf + page_size);
60347267dcSEnji Cooper 	}
61347267dcSEnji Cooper }
62347267dcSEnji Cooper 
63347267dcSEnji Cooper static void
test_stpncpy(const char * s)64347267dcSEnji Cooper test_stpncpy(const char *s)
65347267dcSEnji Cooper {
66347267dcSEnji Cooper 	char *src, *dst;
67347267dcSEnji Cooper 	size_t size, len, bufsize, x;
68347267dcSEnji Cooper 	int i, j;
69347267dcSEnji Cooper 
70347267dcSEnji Cooper 	size = strlen(s) + 1;
71347267dcSEnji Cooper 	for (i = 0; i <= 1; i++) {
72347267dcSEnji Cooper 		for (j = 0; j <= 1; j++) {
73347267dcSEnji Cooper 			for (bufsize = 0; bufsize <= size + 10; bufsize++) {
74347267dcSEnji Cooper 				src = makebuf(size, i);
75347267dcSEnji Cooper 				memcpy(src, s, size);
76347267dcSEnji Cooper 				dst = makebuf(bufsize, j);
77347267dcSEnji Cooper 				memset(dst, 'X', bufsize);
78347267dcSEnji Cooper 				len = (bufsize < size) ? bufsize : size - 1;
79*6fa9e7d8SRobert Clausecker 				assert(stpncpy_fn(dst, src, bufsize) == dst+len);
80347267dcSEnji Cooper 				assert(memcmp(src, dst, len) == 0);
81347267dcSEnji Cooper 				for (x = len; x < bufsize; x++)
82347267dcSEnji Cooper 					assert(dst[x] == '\0');
83347267dcSEnji Cooper 			}
84347267dcSEnji Cooper 		}
85347267dcSEnji Cooper 	}
86347267dcSEnji Cooper }
87347267dcSEnji Cooper 
88*6fa9e7d8SRobert Clausecker static void
test_sentinel(char * dest,char * src,size_t destlen,size_t srclen)89*6fa9e7d8SRobert Clausecker test_sentinel(char *dest, char *src, size_t destlen, size_t srclen)
90347267dcSEnji Cooper {
91*6fa9e7d8SRobert Clausecker 	size_t i;
92*6fa9e7d8SRobert Clausecker 	const char *res, *wantres;
93*6fa9e7d8SRobert Clausecker 	const char *fail = NULL;
94347267dcSEnji Cooper 
95*6fa9e7d8SRobert Clausecker 	for (i = 0; i < srclen; i++)
96*6fa9e7d8SRobert Clausecker 		/* src will never include (){} */
97*6fa9e7d8SRobert Clausecker 		src[i] = '0' + i;
98*6fa9e7d8SRobert Clausecker 	src[srclen] = '\0';
99*6fa9e7d8SRobert Clausecker 
100*6fa9e7d8SRobert Clausecker 	/* source sentinels: not to be copied */
101*6fa9e7d8SRobert Clausecker 	src[-1] = '(';
102*6fa9e7d8SRobert Clausecker 	src[srclen+1] = ')';
103*6fa9e7d8SRobert Clausecker 
104*6fa9e7d8SRobert Clausecker 	memset(dest, 0xee, destlen);
105*6fa9e7d8SRobert Clausecker 
106*6fa9e7d8SRobert Clausecker 	/* destination sentinels: not to be touched */
107*6fa9e7d8SRobert Clausecker 	dest[-1] = '{';
108*6fa9e7d8SRobert Clausecker 	dest[destlen] = '}';
109*6fa9e7d8SRobert Clausecker 
110*6fa9e7d8SRobert Clausecker 	wantres = dest + (srclen > destlen ? destlen : srclen);
111*6fa9e7d8SRobert Clausecker 	res = stpncpy_fn(dest, src, destlen);
112*6fa9e7d8SRobert Clausecker 
113*6fa9e7d8SRobert Clausecker 	if (dest[-1] != '{')
114*6fa9e7d8SRobert Clausecker 		fail = "start sentinel overwritten";
115*6fa9e7d8SRobert Clausecker 	else if (dest[destlen] != '}')
116*6fa9e7d8SRobert Clausecker 		fail = "end sentinel overwritten";
117*6fa9e7d8SRobert Clausecker 	else if (strncmp(src, dest, destlen) != 0)
118*6fa9e7d8SRobert Clausecker 		fail = "string not copied correctly";
119*6fa9e7d8SRobert Clausecker 	else if (res != wantres)
120*6fa9e7d8SRobert Clausecker 		fail = "incorrect return value";
121*6fa9e7d8SRobert Clausecker 	else for (i = srclen; i < destlen; i++)
122*6fa9e7d8SRobert Clausecker 		if (dest[i] != '\0') {
123*6fa9e7d8SRobert Clausecker 			fail = "incomplete NUL padding";
124*6fa9e7d8SRobert Clausecker 			break;
125347267dcSEnji Cooper 		}
126347267dcSEnji Cooper 
127*6fa9e7d8SRobert Clausecker 	if (fail)
128*6fa9e7d8SRobert Clausecker 		atf_tc_fail_nonfatal("%s\n"
129*6fa9e7d8SRobert Clausecker 		    "stpncpy(%p \"%s\", %p \"%s\", %zu) = %p (want %p)\n",
130*6fa9e7d8SRobert Clausecker 		    fail, dest, dest, src, src, destlen, res, wantres);
131347267dcSEnji Cooper }
132347267dcSEnji Cooper 
133*6fa9e7d8SRobert Clausecker ATF_TC_WITHOUT_HEAD(null);
ATF_TC_BODY(null,tc)134*6fa9e7d8SRobert Clausecker ATF_TC_BODY(null, tc)
135347267dcSEnji Cooper {
136*6fa9e7d8SRobert Clausecker 	ATF_CHECK_EQ(stpncpy_fn(NULL, NULL, 0), NULL);
137*6fa9e7d8SRobert Clausecker }
138347267dcSEnji Cooper 
139*6fa9e7d8SRobert Clausecker ATF_TC_WITHOUT_HEAD(bounds);
ATF_TC_BODY(bounds,tc)140*6fa9e7d8SRobert Clausecker ATF_TC_BODY(bounds, tc)
141*6fa9e7d8SRobert Clausecker {
142*6fa9e7d8SRobert Clausecker 	size_t i;
143*6fa9e7d8SRobert Clausecker 	char buf[64+1];
144*6fa9e7d8SRobert Clausecker 
145*6fa9e7d8SRobert Clausecker 	for (i = 0; i < sizeof(buf) - 1; i++) {
146*6fa9e7d8SRobert Clausecker 		buf[i] = ' ' + i;
147*6fa9e7d8SRobert Clausecker 		buf[i+1] = '\0';
148*6fa9e7d8SRobert Clausecker 		test_stpncpy(buf);
149*6fa9e7d8SRobert Clausecker 	}
150*6fa9e7d8SRobert Clausecker }
151*6fa9e7d8SRobert Clausecker 
152*6fa9e7d8SRobert Clausecker ATF_TC_WITHOUT_HEAD(alignments);
ATF_TC_BODY(alignments,tc)153*6fa9e7d8SRobert Clausecker ATF_TC_BODY(alignments, tc)
154*6fa9e7d8SRobert Clausecker {
155*6fa9e7d8SRobert Clausecker 	size_t srcalign, destalign, srclen, destlen;
156*6fa9e7d8SRobert Clausecker 	char src[15+3+64]; /* 15 offsets + 64 max length + NUL + sentinels */
157*6fa9e7d8SRobert Clausecker 	char dest[15+2+64]; /* 15 offsets + 64 max length + sentinels */
158*6fa9e7d8SRobert Clausecker 
159*6fa9e7d8SRobert Clausecker 	for (srcalign = 0; srcalign < 16; srcalign++)
160*6fa9e7d8SRobert Clausecker 		for (destalign = 0; destalign < 16; destalign++)
161*6fa9e7d8SRobert Clausecker 			for (srclen = 0; srclen < 64; srclen++)
162*6fa9e7d8SRobert Clausecker 				for (destlen = 0; destlen < 64; destlen++)
163*6fa9e7d8SRobert Clausecker 					test_sentinel(dest+destalign+1,
164*6fa9e7d8SRobert Clausecker 					    src+srcalign+1, destlen, srclen);
165347267dcSEnji Cooper }
166347267dcSEnji Cooper 
ATF_TP_ADD_TCS(tp)167347267dcSEnji Cooper ATF_TP_ADD_TCS(tp)
168347267dcSEnji Cooper {
169*6fa9e7d8SRobert Clausecker 	void *dl_handle;
170347267dcSEnji Cooper 
171*6fa9e7d8SRobert Clausecker 	dl_handle = dlopen(NULL, RTLD_LAZY);
172*6fa9e7d8SRobert Clausecker 	stpncpy_fn = dlsym(dl_handle, "test_stpncpy");
173*6fa9e7d8SRobert Clausecker 	if (stpncpy_fn == NULL)
174*6fa9e7d8SRobert Clausecker 		stpncpy_fn = stpncpy;
175*6fa9e7d8SRobert Clausecker 
176*6fa9e7d8SRobert Clausecker 	ATF_TP_ADD_TC(tp, null);
177*6fa9e7d8SRobert Clausecker 	ATF_TP_ADD_TC(tp, bounds);
178*6fa9e7d8SRobert Clausecker 	ATF_TP_ADD_TC(tp, alignments);
179347267dcSEnji Cooper 
180347267dcSEnji Cooper 	return (atf_no_error());
181347267dcSEnji Cooper }
182