xref: /freebsd-src/lib/libc/tests/string/strlcpy_test.c (revision f7098b8659923873a7c60b64cb68182e470786f9)
1*f7098b86SRobert Clausecker /*-
2*f7098b86SRobert Clausecker  * Copyright (c) 2009 David Schultz <das@FreeBSD.org>
3*f7098b86SRobert Clausecker  * Copyright (c) 2023 The FreeBSD Foundation
4*f7098b86SRobert Clausecker  * All rights reserved.
5*f7098b86SRobert Clausecker  *
6*f7098b86SRobert Clausecker  * Portions of this software were developed by Robert Clausecker
7*f7098b86SRobert Clausecker  * <fuz@FreeBSD.org> under sponsorship from the FreeBSD Foundation.
8*f7098b86SRobert Clausecker  *
9*f7098b86SRobert Clausecker  * Redistribution and use in source and binary forms, with or without
10*f7098b86SRobert Clausecker  * modification, are permitted provided that the following conditions
11*f7098b86SRobert Clausecker  * are met:
12*f7098b86SRobert Clausecker  * 1. Redistributions of source code must retain the above copyright
13*f7098b86SRobert Clausecker  *    notice, this list of conditions and the following disclaimer.
14*f7098b86SRobert Clausecker  * 2. Redistributions in binary form must reproduce the above copyright
15*f7098b86SRobert Clausecker  *    notice, this list of conditions and the following disclaimer in the
16*f7098b86SRobert Clausecker  *    documentation and/or other materials provided with the distribution.
17*f7098b86SRobert Clausecker  *
18*f7098b86SRobert Clausecker  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19*f7098b86SRobert Clausecker  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20*f7098b86SRobert Clausecker  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21*f7098b86SRobert Clausecker  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22*f7098b86SRobert Clausecker  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23*f7098b86SRobert Clausecker  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24*f7098b86SRobert Clausecker  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25*f7098b86SRobert Clausecker  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26*f7098b86SRobert Clausecker  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27*f7098b86SRobert Clausecker  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28*f7098b86SRobert Clausecker  * SUCH DAMAGE.
29*f7098b86SRobert Clausecker  */
30*f7098b86SRobert Clausecker 
31*f7098b86SRobert Clausecker #include <sys/cdefs.h>
32*f7098b86SRobert Clausecker #include <sys/param.h>
33*f7098b86SRobert Clausecker #include <sys/mman.h>
34*f7098b86SRobert Clausecker #include <assert.h>
35*f7098b86SRobert Clausecker #include <dlfcn.h>
36*f7098b86SRobert Clausecker #include <stdio.h>
37*f7098b86SRobert Clausecker #include <stdlib.h>
38*f7098b86SRobert Clausecker #include <string.h>
39*f7098b86SRobert Clausecker 
40*f7098b86SRobert Clausecker #include <atf-c.h>
41*f7098b86SRobert Clausecker 
42*f7098b86SRobert Clausecker size_t (*strlcpy_fn)(char *restrict, const char *restrict, size_t);
43*f7098b86SRobert Clausecker 
44*f7098b86SRobert Clausecker static char *
makebuf(size_t len,int guard_at_end)45*f7098b86SRobert Clausecker makebuf(size_t len, int guard_at_end)
46*f7098b86SRobert Clausecker {
47*f7098b86SRobert Clausecker 	char *buf;
48*f7098b86SRobert Clausecker 	size_t alloc_size, page_size;
49*f7098b86SRobert Clausecker 
50*f7098b86SRobert Clausecker 	page_size = getpagesize();
51*f7098b86SRobert Clausecker 	alloc_size = roundup2(len, page_size) + page_size;
52*f7098b86SRobert Clausecker 
53*f7098b86SRobert Clausecker 	buf = mmap(NULL, alloc_size, PROT_READ | PROT_WRITE, MAP_ANON, -1, 0);
54*f7098b86SRobert Clausecker 	assert(buf);
55*f7098b86SRobert Clausecker 	if (guard_at_end) {
56*f7098b86SRobert Clausecker 		assert(munmap(buf + alloc_size - page_size, page_size) == 0);
57*f7098b86SRobert Clausecker 		return (buf + alloc_size - page_size - len);
58*f7098b86SRobert Clausecker 	} else {
59*f7098b86SRobert Clausecker 		assert(munmap(buf, page_size) == 0);
60*f7098b86SRobert Clausecker 		return (buf + page_size);
61*f7098b86SRobert Clausecker 	}
62*f7098b86SRobert Clausecker }
63*f7098b86SRobert Clausecker 
64*f7098b86SRobert Clausecker static void
test_strlcpy(const char * s)65*f7098b86SRobert Clausecker test_strlcpy(const char *s)
66*f7098b86SRobert Clausecker {
67*f7098b86SRobert Clausecker 	char *src, *dst;
68*f7098b86SRobert Clausecker 	size_t size, bufsize, x;
69*f7098b86SRobert Clausecker 	int i, j;
70*f7098b86SRobert Clausecker 
71*f7098b86SRobert Clausecker 	size = strlen(s) + 1;
72*f7098b86SRobert Clausecker 	for (i = 0; i <= 1; i++) {
73*f7098b86SRobert Clausecker 		for (j = 0; j <= 1; j++) {
74*f7098b86SRobert Clausecker 			for (bufsize = 0; bufsize <= size + 10; bufsize++) {
75*f7098b86SRobert Clausecker 				src = makebuf(size, i);
76*f7098b86SRobert Clausecker 				memcpy(src, s, size);
77*f7098b86SRobert Clausecker 				dst = makebuf(bufsize, j);
78*f7098b86SRobert Clausecker 				memset(dst, 'X', bufsize);
79*f7098b86SRobert Clausecker 				assert(strlcpy_fn(dst, src, bufsize) == size-1);
80*f7098b86SRobert Clausecker 				assert(bufsize == 0 || strncmp(src, dst, bufsize - 1) == 0);
81*f7098b86SRobert Clausecker 				for (x = size; x < bufsize; x++)
82*f7098b86SRobert Clausecker 					assert(dst[x] == 'X');
83*f7098b86SRobert Clausecker 			}
84*f7098b86SRobert Clausecker 		}
85*f7098b86SRobert Clausecker 	}
86*f7098b86SRobert Clausecker }
87*f7098b86SRobert Clausecker 
88*f7098b86SRobert Clausecker static void
test_sentinel(char * dest,char * src,size_t destlen,size_t srclen)89*f7098b86SRobert Clausecker test_sentinel(char *dest, char *src, size_t destlen, size_t srclen)
90*f7098b86SRobert Clausecker {
91*f7098b86SRobert Clausecker 	size_t i;
92*f7098b86SRobert Clausecker 	size_t res, wantres;
93*f7098b86SRobert Clausecker 	const char *fail = NULL;
94*f7098b86SRobert Clausecker 
95*f7098b86SRobert Clausecker 	for (i = 0; i < srclen; i++)
96*f7098b86SRobert Clausecker 		/* src will never include (){} */
97*f7098b86SRobert Clausecker 		src[i] = '0' + i;
98*f7098b86SRobert Clausecker 	src[srclen] = '\0';
99*f7098b86SRobert Clausecker 
100*f7098b86SRobert Clausecker 	/* source sentinels: not to be copied */
101*f7098b86SRobert Clausecker 	src[-1] = '(';
102*f7098b86SRobert Clausecker 	src[srclen+1] = ')';
103*f7098b86SRobert Clausecker 
104*f7098b86SRobert Clausecker 	memset(dest, '\xee', destlen);
105*f7098b86SRobert Clausecker 
106*f7098b86SRobert Clausecker 	/* destination sentinels: not to be touched */
107*f7098b86SRobert Clausecker 	dest[-1] = '{';
108*f7098b86SRobert Clausecker 	dest[destlen] = '}';
109*f7098b86SRobert Clausecker 
110*f7098b86SRobert Clausecker 	wantres = srclen;
111*f7098b86SRobert Clausecker 	res = strlcpy_fn(dest, src, destlen);
112*f7098b86SRobert Clausecker 
113*f7098b86SRobert Clausecker 	if (dest[-1] != '{')
114*f7098b86SRobert Clausecker 		fail = "start sentinel overwritten";
115*f7098b86SRobert Clausecker 	else if (dest[destlen] != '}')
116*f7098b86SRobert Clausecker 		fail = "end sentinel overwritten";
117*f7098b86SRobert Clausecker 	else if (res != wantres)
118*f7098b86SRobert Clausecker 		fail = "incorrect return value";
119*f7098b86SRobert Clausecker 	else if (destlen > 0 && strncmp(src, dest, destlen - 1) != 0)
120*f7098b86SRobert Clausecker 		fail = "string not copied correctly";
121*f7098b86SRobert Clausecker 	else if (destlen > 0 && srclen >= destlen - 1 && dest[destlen-1] != '\0')
122*f7098b86SRobert Clausecker 		fail = "string not NUL terminated";
123*f7098b86SRobert Clausecker 	else for (i = srclen + 1; i < destlen; i++)
124*f7098b86SRobert Clausecker 		if (dest[i] != '\xee') {
125*f7098b86SRobert Clausecker 			fail = "buffer mutilated behind string";
126*f7098b86SRobert Clausecker 			break;
127*f7098b86SRobert Clausecker 		}
128*f7098b86SRobert Clausecker 
129*f7098b86SRobert Clausecker 	if (fail)
130*f7098b86SRobert Clausecker 		atf_tc_fail_nonfatal("%s\n"
131*f7098b86SRobert Clausecker 		    "strlcpy(%p \"%s\", %p \"%s\", %zu) = %zu (want %zu)\n",
132*f7098b86SRobert Clausecker 		    fail, dest, dest, src, src, destlen, res, wantres);
133*f7098b86SRobert Clausecker }
134*f7098b86SRobert Clausecker 
135*f7098b86SRobert Clausecker ATF_TC_WITHOUT_HEAD(null);
ATF_TC_BODY(null,tc)136*f7098b86SRobert Clausecker ATF_TC_BODY(null, tc)
137*f7098b86SRobert Clausecker {
138*f7098b86SRobert Clausecker 	ATF_CHECK_EQ(strlcpy_fn(NULL, "foo", 0), 3);
139*f7098b86SRobert Clausecker }
140*f7098b86SRobert Clausecker 
141*f7098b86SRobert Clausecker ATF_TC_WITHOUT_HEAD(bounds);
ATF_TC_BODY(bounds,tc)142*f7098b86SRobert Clausecker ATF_TC_BODY(bounds, tc)
143*f7098b86SRobert Clausecker {
144*f7098b86SRobert Clausecker 	size_t i;
145*f7098b86SRobert Clausecker 	char buf[64+1];
146*f7098b86SRobert Clausecker 
147*f7098b86SRobert Clausecker 	for (i = 0; i < sizeof(buf) - 1; i++) {
148*f7098b86SRobert Clausecker 		buf[i] = ' ' + i;
149*f7098b86SRobert Clausecker 		buf[i+1] = '\0';
150*f7098b86SRobert Clausecker 		test_strlcpy(buf);
151*f7098b86SRobert Clausecker 	}
152*f7098b86SRobert Clausecker }
153*f7098b86SRobert Clausecker 
154*f7098b86SRobert Clausecker ATF_TC_WITHOUT_HEAD(alignments);
ATF_TC_BODY(alignments,tc)155*f7098b86SRobert Clausecker ATF_TC_BODY(alignments, tc)
156*f7098b86SRobert Clausecker {
157*f7098b86SRobert Clausecker 	size_t srcalign, destalign, srclen, destlen;
158*f7098b86SRobert Clausecker 	char src[15+3+64]; /* 15 offsets + 64 max length + NUL + sentinels */
159*f7098b86SRobert Clausecker 	char dest[15+2+64]; /* 15 offsets + 64 max length + sentinels */
160*f7098b86SRobert Clausecker 
161*f7098b86SRobert Clausecker 	for (srcalign = 0; srcalign < 16; srcalign++)
162*f7098b86SRobert Clausecker 		for (destalign = 0; destalign < 16; destalign++)
163*f7098b86SRobert Clausecker 			for (srclen = 0; srclen < 64; srclen++)
164*f7098b86SRobert Clausecker 				for (destlen = 0; destlen < 64; destlen++)
165*f7098b86SRobert Clausecker 					test_sentinel(dest+destalign+1,
166*f7098b86SRobert Clausecker 					    src+srcalign+1, destlen, srclen);
167*f7098b86SRobert Clausecker }
168*f7098b86SRobert Clausecker 
ATF_TP_ADD_TCS(tp)169*f7098b86SRobert Clausecker ATF_TP_ADD_TCS(tp)
170*f7098b86SRobert Clausecker {
171*f7098b86SRobert Clausecker 	void *dl_handle;
172*f7098b86SRobert Clausecker 
173*f7098b86SRobert Clausecker 	dl_handle = dlopen(NULL, RTLD_LAZY);
174*f7098b86SRobert Clausecker 	strlcpy_fn = dlsym(dl_handle, "test_strlcpy");
175*f7098b86SRobert Clausecker 	if (strlcpy_fn == NULL)
176*f7098b86SRobert Clausecker 		strlcpy_fn = strlcpy;
177*f7098b86SRobert Clausecker 
178*f7098b86SRobert Clausecker 	ATF_TP_ADD_TC(tp, null);
179*f7098b86SRobert Clausecker 	ATF_TP_ADD_TC(tp, bounds);
180*f7098b86SRobert Clausecker 	ATF_TP_ADD_TC(tp, alignments);
181*f7098b86SRobert Clausecker 
182*f7098b86SRobert Clausecker 	return (atf_no_error());
183*f7098b86SRobert Clausecker }
184