xref: /freebsd/lib/libc/stdlib/realpath.c (revision 87b759f0fa1f7554d50ce640c40138512bbded44)
1 /*-
2  * SPDX-License-Identifier: BSD-3-Clause
3  *
4  * Copyright (c) 2003 Constantin S. Svintsoff <kostik@iclub.nsu.ru>
5  *
6  * Redistribution and use in source and binary forms, with or without
7  * modification, are permitted provided that the following conditions
8  * are met:
9  * 1. Redistributions of source code must retain the above copyright
10  *    notice, this list of conditions and the following disclaimer.
11  * 2. Redistributions in binary form must reproduce the above copyright
12  *    notice, this list of conditions and the following disclaimer in the
13  *    documentation and/or other materials provided with the distribution.
14  * 3. The names of the authors may not be used to endorse or promote
15  *    products derived from this software without specific prior written
16  *    permission.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28  * SUCH DAMAGE.
29  */
30 
31 #include "namespace.h"
32 #include <sys/param.h>
33 #include <sys/stat.h>
34 
35 #include <errno.h>
36 #include <fcntl.h>
37 #include <stdlib.h>
38 #include <string.h>
39 #include <unistd.h>
40 #include <ssp/ssp.h>
41 #include "un-namespace.h"
42 #include "libc_private.h"
43 
44 extern int __realpathat(int fd, const char *path, char *buf, size_t size,
45     int flags);
46 
47 /*
48  * Find the real name of path, by removing all ".", ".." and symlink
49  * components.  Returns (resolved) on success, or (NULL) on failure,
50  * in which case the path which caused trouble is left in (resolved).
51  */
52 static char * __noinline
53 realpath1(const char *path, char *resolved)
54 {
55 	struct stat sb;
56 	char *p, *q;
57 	size_t left_len, resolved_len, next_token_len;
58 	unsigned symlinks;
59 	ssize_t slen;
60 	char left[PATH_MAX], next_token[PATH_MAX], symlink[PATH_MAX];
61 
62 	symlinks = 0;
63 	if (path[0] == '/') {
64 		resolved[0] = '/';
65 		resolved[1] = '\0';
66 		if (path[1] == '\0')
67 			return (resolved);
68 		resolved_len = 1;
69 		left_len = strlcpy(left, path + 1, sizeof(left));
70 	} else {
71 		if (getcwd(resolved, PATH_MAX) == NULL) {
72 			resolved[0] = '.';
73 			resolved[1] = '\0';
74 			return (NULL);
75 		}
76 		resolved_len = strlen(resolved);
77 		left_len = strlcpy(left, path, sizeof(left));
78 	}
79 	if (left_len >= sizeof(left) || resolved_len >= PATH_MAX) {
80 		errno = ENAMETOOLONG;
81 		return (NULL);
82 	}
83 
84 	/*
85 	 * Iterate over path components in `left'.
86 	 */
87 	while (left_len != 0) {
88 		/*
89 		 * Extract the next path component and adjust `left'
90 		 * and its length.
91 		 */
92 		p = strchr(left, '/');
93 
94 		next_token_len = p != NULL ? (size_t)(p - left) : left_len;
95 		memcpy(next_token, left, next_token_len);
96 		next_token[next_token_len] = '\0';
97 
98 		if (p != NULL) {
99 			left_len -= next_token_len + 1;
100 			memmove(left, p + 1, left_len + 1);
101 		} else {
102 			left[0] = '\0';
103 			left_len = 0;
104 		}
105 
106 		if (resolved[resolved_len - 1] != '/') {
107 			if (resolved_len + 1 >= PATH_MAX) {
108 				errno = ENAMETOOLONG;
109 				return (NULL);
110 			}
111 			resolved[resolved_len++] = '/';
112 			resolved[resolved_len] = '\0';
113 		}
114 		if (next_token[0] == '\0') {
115 			/* Handle consequential slashes. */
116 			continue;
117 		} else if (strcmp(next_token, ".") == 0) {
118 			continue;
119 		} else if (strcmp(next_token, "..") == 0) {
120 			/*
121 			 * Strip the last path component except when we have
122 			 * single "/"
123 			 */
124 			if (resolved_len > 1) {
125 				resolved[resolved_len - 1] = '\0';
126 				q = strrchr(resolved, '/') + 1;
127 				*q = '\0';
128 				resolved_len = q - resolved;
129 			}
130 			continue;
131 		}
132 
133 		/*
134 		 * Append the next path component and lstat() it.
135 		 */
136 		resolved_len = strlcat(resolved, next_token, PATH_MAX);
137 		if (resolved_len >= PATH_MAX) {
138 			errno = ENAMETOOLONG;
139 			return (NULL);
140 		}
141 		if (lstat(resolved, &sb) != 0)
142 			return (NULL);
143 		if (S_ISLNK(sb.st_mode)) {
144 			if (symlinks++ > MAXSYMLINKS) {
145 				errno = ELOOP;
146 				return (NULL);
147 			}
148 			slen = readlink(resolved, symlink, sizeof(symlink));
149 			if (slen < 0)
150 				return (NULL);
151 			if (slen == 0) {
152 				errno = ENOENT;
153 				return (NULL);
154 			}
155 			if ((size_t)slen >= sizeof(symlink)) {
156 				errno = ENAMETOOLONG;
157 				return (NULL);
158 			}
159 			symlink[slen] = '\0';
160 			if (symlink[0] == '/') {
161 				resolved[1] = 0;
162 				resolved_len = 1;
163 			} else {
164 				/* Strip the last path component. */
165 				q = strrchr(resolved, '/') + 1;
166 				*q = '\0';
167 				resolved_len = q - resolved;
168 			}
169 
170 			/*
171 			 * If there are any path components left, then
172 			 * append them to symlink. The result is placed
173 			 * in `left'.
174 			 */
175 			if (p != NULL) {
176 				if (symlink[slen - 1] != '/') {
177 					if ((size_t)slen + 1 >= sizeof(symlink)) {
178 						errno = ENAMETOOLONG;
179 						return (NULL);
180 					}
181 					symlink[slen] = '/';
182 					symlink[slen + 1] = 0;
183 				}
184 				left_len = strlcat(symlink, left,
185 				    sizeof(symlink));
186 				if (left_len >= sizeof(symlink)) {
187 					errno = ENAMETOOLONG;
188 					return (NULL);
189 				}
190 			}
191 			left_len = strlcpy(left, symlink, sizeof(left));
192 		} else if (!S_ISDIR(sb.st_mode) && p != NULL) {
193 			errno = ENOTDIR;
194 			return (NULL);
195 		}
196 	}
197 
198 	/*
199 	 * Remove trailing slash except when the resolved pathname
200 	 * is a single "/".
201 	 */
202 	if (resolved_len > 1 && resolved[resolved_len - 1] == '/')
203 		resolved[resolved_len - 1] = '\0';
204 	return (resolved);
205 }
206 
207 char *
208 __ssp_real(realpath)(const char * __restrict path, char * __restrict resolved)
209 {
210 	char *m, *res;
211 
212 	if (path == NULL) {
213 		errno = EINVAL;
214 		return (NULL);
215 	}
216 	if (path[0] == '\0') {
217 		errno = ENOENT;
218 		return (NULL);
219 	}
220 	if (resolved != NULL) {
221 		m = NULL;
222 	} else {
223 		m = resolved = malloc(PATH_MAX);
224 		if (resolved == NULL)
225 			return (NULL);
226 	}
227 	if (__getosreldate() >= 1300080) {
228 		if (__realpathat(AT_FDCWD, path, resolved, PATH_MAX, 0) == 0)
229 			return (resolved);
230 	}
231 	res = realpath1(path, resolved);
232 	if (res == NULL)
233 		free(m);
234 	return (res);
235 }
236