xref: /openbmc/linux/fs/overlayfs/namei.c (revision d583ed7d)
1bbb1e54dSMiklos Szeredi /*
2bbb1e54dSMiklos Szeredi  * Copyright (C) 2011 Novell Inc.
3bbb1e54dSMiklos Szeredi  * Copyright (C) 2016 Red Hat, Inc.
4bbb1e54dSMiklos Szeredi  *
5bbb1e54dSMiklos Szeredi  * This program is free software; you can redistribute it and/or modify it
6bbb1e54dSMiklos Szeredi  * under the terms of the GNU General Public License version 2 as published by
7bbb1e54dSMiklos Szeredi  * the Free Software Foundation.
8bbb1e54dSMiklos Szeredi  */
9bbb1e54dSMiklos Szeredi 
10bbb1e54dSMiklos Szeredi #include <linux/fs.h>
115b825c3aSIngo Molnar #include <linux/cred.h>
12bbb1e54dSMiklos Szeredi #include <linux/namei.h>
13bbb1e54dSMiklos Szeredi #include <linux/xattr.h>
1402b69b28SMiklos Szeredi #include <linux/ratelimit.h>
15a9d01957SAmir Goldstein #include <linux/mount.h>
16a9d01957SAmir Goldstein #include <linux/exportfs.h>
17bbb1e54dSMiklos Szeredi #include "overlayfs.h"
18bbb1e54dSMiklos Szeredi 
19e28edc46SMiklos Szeredi struct ovl_lookup_data {
20e28edc46SMiklos Szeredi 	struct qstr name;
21e28edc46SMiklos Szeredi 	bool is_dir;
22e28edc46SMiklos Szeredi 	bool opaque;
23e28edc46SMiklos Szeredi 	bool stop;
24e28edc46SMiklos Szeredi 	bool last;
2502b69b28SMiklos Szeredi 	char *redirect;
26e28edc46SMiklos Szeredi };
27bbb1e54dSMiklos Szeredi 
2802b69b28SMiklos Szeredi static int ovl_check_redirect(struct dentry *dentry, struct ovl_lookup_data *d,
2902b69b28SMiklos Szeredi 			      size_t prelen, const char *post)
3002b69b28SMiklos Szeredi {
3102b69b28SMiklos Szeredi 	int res;
3202b69b28SMiklos Szeredi 	char *s, *next, *buf = NULL;
3302b69b28SMiklos Szeredi 
3402b69b28SMiklos Szeredi 	res = vfs_getxattr(dentry, OVL_XATTR_REDIRECT, NULL, 0);
3502b69b28SMiklos Szeredi 	if (res < 0) {
3602b69b28SMiklos Szeredi 		if (res == -ENODATA || res == -EOPNOTSUPP)
3702b69b28SMiklos Szeredi 			return 0;
3802b69b28SMiklos Szeredi 		goto fail;
3902b69b28SMiklos Szeredi 	}
400ee931c4SMichal Hocko 	buf = kzalloc(prelen + res + strlen(post) + 1, GFP_KERNEL);
4102b69b28SMiklos Szeredi 	if (!buf)
4202b69b28SMiklos Szeredi 		return -ENOMEM;
4302b69b28SMiklos Szeredi 
4402b69b28SMiklos Szeredi 	if (res == 0)
4502b69b28SMiklos Szeredi 		goto invalid;
4602b69b28SMiklos Szeredi 
4702b69b28SMiklos Szeredi 	res = vfs_getxattr(dentry, OVL_XATTR_REDIRECT, buf, res);
4802b69b28SMiklos Szeredi 	if (res < 0)
4902b69b28SMiklos Szeredi 		goto fail;
5002b69b28SMiklos Szeredi 	if (res == 0)
5102b69b28SMiklos Szeredi 		goto invalid;
5202b69b28SMiklos Szeredi 	if (buf[0] == '/') {
5302b69b28SMiklos Szeredi 		for (s = buf; *s++ == '/'; s = next) {
5402b69b28SMiklos Szeredi 			next = strchrnul(s, '/');
5502b69b28SMiklos Szeredi 			if (s == next)
5602b69b28SMiklos Szeredi 				goto invalid;
5702b69b28SMiklos Szeredi 		}
5802b69b28SMiklos Szeredi 	} else {
5902b69b28SMiklos Szeredi 		if (strchr(buf, '/') != NULL)
6002b69b28SMiklos Szeredi 			goto invalid;
6102b69b28SMiklos Szeredi 
6202b69b28SMiklos Szeredi 		memmove(buf + prelen, buf, res);
6302b69b28SMiklos Szeredi 		memcpy(buf, d->name.name, prelen);
6402b69b28SMiklos Szeredi 	}
6502b69b28SMiklos Szeredi 
6602b69b28SMiklos Szeredi 	strcat(buf, post);
6702b69b28SMiklos Szeredi 	kfree(d->redirect);
6802b69b28SMiklos Szeredi 	d->redirect = buf;
6902b69b28SMiklos Szeredi 	d->name.name = d->redirect;
7002b69b28SMiklos Szeredi 	d->name.len = strlen(d->redirect);
7102b69b28SMiklos Szeredi 
7202b69b28SMiklos Szeredi 	return 0;
7302b69b28SMiklos Szeredi 
7402b69b28SMiklos Szeredi err_free:
7502b69b28SMiklos Szeredi 	kfree(buf);
7602b69b28SMiklos Szeredi 	return 0;
7702b69b28SMiklos Szeredi fail:
7802b69b28SMiklos Szeredi 	pr_warn_ratelimited("overlayfs: failed to get redirect (%i)\n", res);
7902b69b28SMiklos Szeredi 	goto err_free;
8002b69b28SMiklos Szeredi invalid:
8102b69b28SMiklos Szeredi 	pr_warn_ratelimited("overlayfs: invalid redirect (%s)\n", buf);
8202b69b28SMiklos Szeredi 	goto err_free;
8302b69b28SMiklos Szeredi }
8402b69b28SMiklos Szeredi 
85a9d01957SAmir Goldstein static int ovl_acceptable(void *ctx, struct dentry *dentry)
86a9d01957SAmir Goldstein {
87a9d01957SAmir Goldstein 	return 1;
88a9d01957SAmir Goldstein }
89a9d01957SAmir Goldstein 
908b88a2e6SAmir Goldstein static struct ovl_fh *ovl_get_origin_fh(struct dentry *dentry)
91a9d01957SAmir Goldstein {
92a9d01957SAmir Goldstein 	int res;
93a9d01957SAmir Goldstein 	struct ovl_fh *fh = NULL;
94a9d01957SAmir Goldstein 
95a9d01957SAmir Goldstein 	res = vfs_getxattr(dentry, OVL_XATTR_ORIGIN, NULL, 0);
96a9d01957SAmir Goldstein 	if (res < 0) {
97a9d01957SAmir Goldstein 		if (res == -ENODATA || res == -EOPNOTSUPP)
98a9d01957SAmir Goldstein 			return NULL;
99a9d01957SAmir Goldstein 		goto fail;
100a9d01957SAmir Goldstein 	}
101a9d01957SAmir Goldstein 	/* Zero size value means "copied up but origin unknown" */
102a9d01957SAmir Goldstein 	if (res == 0)
103a9d01957SAmir Goldstein 		return NULL;
104a9d01957SAmir Goldstein 
1050ee931c4SMichal Hocko 	fh  = kzalloc(res, GFP_KERNEL);
106a9d01957SAmir Goldstein 	if (!fh)
107a9d01957SAmir Goldstein 		return ERR_PTR(-ENOMEM);
108a9d01957SAmir Goldstein 
109a9d01957SAmir Goldstein 	res = vfs_getxattr(dentry, OVL_XATTR_ORIGIN, fh, res);
110a9d01957SAmir Goldstein 	if (res < 0)
111a9d01957SAmir Goldstein 		goto fail;
112a9d01957SAmir Goldstein 
113a9d01957SAmir Goldstein 	if (res < sizeof(struct ovl_fh) || res < fh->len)
114a9d01957SAmir Goldstein 		goto invalid;
115a9d01957SAmir Goldstein 
116a9d01957SAmir Goldstein 	if (fh->magic != OVL_FH_MAGIC)
117a9d01957SAmir Goldstein 		goto invalid;
118a9d01957SAmir Goldstein 
119a9d01957SAmir Goldstein 	/* Treat larger version and unknown flags as "origin unknown" */
120a9d01957SAmir Goldstein 	if (fh->version > OVL_FH_VERSION || fh->flags & ~OVL_FH_FLAG_ALL)
121a9d01957SAmir Goldstein 		goto out;
122a9d01957SAmir Goldstein 
123a9d01957SAmir Goldstein 	/* Treat endianness mismatch as "origin unknown" */
124a9d01957SAmir Goldstein 	if (!(fh->flags & OVL_FH_FLAG_ANY_ENDIAN) &&
125a9d01957SAmir Goldstein 	    (fh->flags & OVL_FH_FLAG_BIG_ENDIAN) != OVL_FH_FLAG_CPU_ENDIAN)
126a9d01957SAmir Goldstein 		goto out;
127a9d01957SAmir Goldstein 
1288b88a2e6SAmir Goldstein 	return fh;
1298b88a2e6SAmir Goldstein 
1308b88a2e6SAmir Goldstein out:
1318b88a2e6SAmir Goldstein 	kfree(fh);
1328b88a2e6SAmir Goldstein 	return NULL;
1338b88a2e6SAmir Goldstein 
1348b88a2e6SAmir Goldstein fail:
1358b88a2e6SAmir Goldstein 	pr_warn_ratelimited("overlayfs: failed to get origin (%i)\n", res);
1368b88a2e6SAmir Goldstein 	goto out;
1378b88a2e6SAmir Goldstein invalid:
1388b88a2e6SAmir Goldstein 	pr_warn_ratelimited("overlayfs: invalid origin (%*phN)\n", res, fh);
1398b88a2e6SAmir Goldstein 	goto out;
1408b88a2e6SAmir Goldstein }
1418b88a2e6SAmir Goldstein 
1428b88a2e6SAmir Goldstein static struct dentry *ovl_get_origin(struct dentry *dentry,
1438b88a2e6SAmir Goldstein 				     struct vfsmount *mnt)
1448b88a2e6SAmir Goldstein {
1458b88a2e6SAmir Goldstein 	struct dentry *origin = NULL;
1468b88a2e6SAmir Goldstein 	struct ovl_fh *fh = ovl_get_origin_fh(dentry);
1478b88a2e6SAmir Goldstein 	int bytes;
1488b88a2e6SAmir Goldstein 
1498b88a2e6SAmir Goldstein 	if (IS_ERR_OR_NULL(fh))
1508b88a2e6SAmir Goldstein 		return (struct dentry *)fh;
151a9d01957SAmir Goldstein 
152a9d01957SAmir Goldstein 	/*
153a9d01957SAmir Goldstein 	 * Make sure that the stored uuid matches the uuid of the lower
154a9d01957SAmir Goldstein 	 * layer where file handle will be decoded.
155a9d01957SAmir Goldstein 	 */
15685787090SChristoph Hellwig 	if (!uuid_equal(&fh->uuid, &mnt->mnt_sb->s_uuid))
157a9d01957SAmir Goldstein 		goto out;
158a9d01957SAmir Goldstein 
1598b88a2e6SAmir Goldstein 	bytes = (fh->len - offsetof(struct ovl_fh, fid));
160a9d01957SAmir Goldstein 	origin = exportfs_decode_fh(mnt, (struct fid *)fh->fid,
161a9d01957SAmir Goldstein 				    bytes >> 2, (int)fh->type,
162a9d01957SAmir Goldstein 				    ovl_acceptable, NULL);
163a9d01957SAmir Goldstein 	if (IS_ERR(origin)) {
164a9d01957SAmir Goldstein 		/* Treat stale file handle as "origin unknown" */
165a9d01957SAmir Goldstein 		if (origin == ERR_PTR(-ESTALE))
166a9d01957SAmir Goldstein 			origin = NULL;
167a9d01957SAmir Goldstein 		goto out;
168a9d01957SAmir Goldstein 	}
169a9d01957SAmir Goldstein 
170a9d01957SAmir Goldstein 	if (ovl_dentry_weird(origin) ||
1718b88a2e6SAmir Goldstein 	    ((d_inode(origin)->i_mode ^ d_inode(dentry)->i_mode) & S_IFMT))
172a9d01957SAmir Goldstein 		goto invalid;
173a9d01957SAmir Goldstein 
174a9d01957SAmir Goldstein out:
175a9d01957SAmir Goldstein 	kfree(fh);
176a9d01957SAmir Goldstein 	return origin;
177a9d01957SAmir Goldstein 
178a9d01957SAmir Goldstein invalid:
1798b88a2e6SAmir Goldstein 	pr_warn_ratelimited("overlayfs: invalid origin (%pd2)\n", origin);
1808b88a2e6SAmir Goldstein 	dput(origin);
1818b88a2e6SAmir Goldstein 	origin = NULL;
182a9d01957SAmir Goldstein 	goto out;
183a9d01957SAmir Goldstein }
184a9d01957SAmir Goldstein 
185ee1d6d37SAmir Goldstein static bool ovl_is_opaquedir(struct dentry *dentry)
186ee1d6d37SAmir Goldstein {
187ee1d6d37SAmir Goldstein 	return ovl_check_dir_xattr(dentry, OVL_XATTR_OPAQUE);
188ee1d6d37SAmir Goldstein }
189ee1d6d37SAmir Goldstein 
190e28edc46SMiklos Szeredi static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,
191e28edc46SMiklos Szeredi 			     const char *name, unsigned int namelen,
19202b69b28SMiklos Szeredi 			     size_t prelen, const char *post,
193e28edc46SMiklos Szeredi 			     struct dentry **ret)
194e28edc46SMiklos Szeredi {
195e28edc46SMiklos Szeredi 	struct dentry *this;
196e28edc46SMiklos Szeredi 	int err;
197e28edc46SMiklos Szeredi 
198e28edc46SMiklos Szeredi 	this = lookup_one_len_unlocked(name, base, namelen);
199e28edc46SMiklos Szeredi 	if (IS_ERR(this)) {
200e28edc46SMiklos Szeredi 		err = PTR_ERR(this);
201e28edc46SMiklos Szeredi 		this = NULL;
202e28edc46SMiklos Szeredi 		if (err == -ENOENT || err == -ENAMETOOLONG)
203e28edc46SMiklos Szeredi 			goto out;
204e28edc46SMiklos Szeredi 		goto out_err;
205e28edc46SMiklos Szeredi 	}
206e28edc46SMiklos Szeredi 	if (!this->d_inode)
207e28edc46SMiklos Szeredi 		goto put_and_out;
208e28edc46SMiklos Szeredi 
209e28edc46SMiklos Szeredi 	if (ovl_dentry_weird(this)) {
210e28edc46SMiklos Szeredi 		/* Don't support traversing automounts and other weirdness */
211e28edc46SMiklos Szeredi 		err = -EREMOTE;
212e28edc46SMiklos Szeredi 		goto out_err;
213e28edc46SMiklos Szeredi 	}
214e28edc46SMiklos Szeredi 	if (ovl_is_whiteout(this)) {
215e28edc46SMiklos Szeredi 		d->stop = d->opaque = true;
216e28edc46SMiklos Szeredi 		goto put_and_out;
217e28edc46SMiklos Szeredi 	}
218e28edc46SMiklos Szeredi 	if (!d_can_lookup(this)) {
219e28edc46SMiklos Szeredi 		d->stop = true;
220e28edc46SMiklos Szeredi 		if (d->is_dir)
221e28edc46SMiklos Szeredi 			goto put_and_out;
222e28edc46SMiklos Szeredi 		goto out;
223e28edc46SMiklos Szeredi 	}
224e28edc46SMiklos Szeredi 	d->is_dir = true;
225e28edc46SMiklos Szeredi 	if (!d->last && ovl_is_opaquedir(this)) {
226e28edc46SMiklos Szeredi 		d->stop = d->opaque = true;
227e28edc46SMiklos Szeredi 		goto out;
228e28edc46SMiklos Szeredi 	}
22902b69b28SMiklos Szeredi 	err = ovl_check_redirect(this, d, prelen, post);
23002b69b28SMiklos Szeredi 	if (err)
23102b69b28SMiklos Szeredi 		goto out_err;
232e28edc46SMiklos Szeredi out:
233e28edc46SMiklos Szeredi 	*ret = this;
234e28edc46SMiklos Szeredi 	return 0;
235e28edc46SMiklos Szeredi 
236e28edc46SMiklos Szeredi put_and_out:
237e28edc46SMiklos Szeredi 	dput(this);
238e28edc46SMiklos Szeredi 	this = NULL;
239e28edc46SMiklos Szeredi 	goto out;
240e28edc46SMiklos Szeredi 
241e28edc46SMiklos Szeredi out_err:
242e28edc46SMiklos Szeredi 	dput(this);
243e28edc46SMiklos Szeredi 	return err;
244e28edc46SMiklos Szeredi }
245e28edc46SMiklos Szeredi 
246e28edc46SMiklos Szeredi static int ovl_lookup_layer(struct dentry *base, struct ovl_lookup_data *d,
247e28edc46SMiklos Szeredi 			    struct dentry **ret)
248e28edc46SMiklos Szeredi {
2494c7d0c9cSAmir Goldstein 	/* Counting down from the end, since the prefix can change */
2504c7d0c9cSAmir Goldstein 	size_t rem = d->name.len - 1;
25102b69b28SMiklos Szeredi 	struct dentry *dentry = NULL;
25202b69b28SMiklos Szeredi 	int err;
25302b69b28SMiklos Szeredi 
2544c7d0c9cSAmir Goldstein 	if (d->name.name[0] != '/')
25502b69b28SMiklos Szeredi 		return ovl_lookup_single(base, d, d->name.name, d->name.len,
25602b69b28SMiklos Szeredi 					 0, "", ret);
25702b69b28SMiklos Szeredi 
2584c7d0c9cSAmir Goldstein 	while (!IS_ERR_OR_NULL(base) && d_can_lookup(base)) {
2594c7d0c9cSAmir Goldstein 		const char *s = d->name.name + d->name.len - rem;
26002b69b28SMiklos Szeredi 		const char *next = strchrnul(s, '/');
2614c7d0c9cSAmir Goldstein 		size_t thislen = next - s;
2624c7d0c9cSAmir Goldstein 		bool end = !next[0];
26302b69b28SMiklos Szeredi 
2644c7d0c9cSAmir Goldstein 		/* Verify we did not go off the rails */
2654c7d0c9cSAmir Goldstein 		if (WARN_ON(s[-1] != '/'))
26602b69b28SMiklos Szeredi 			return -EIO;
26702b69b28SMiklos Szeredi 
2684c7d0c9cSAmir Goldstein 		err = ovl_lookup_single(base, d, s, thislen,
2694c7d0c9cSAmir Goldstein 					d->name.len - rem, next, &base);
27002b69b28SMiklos Szeredi 		dput(dentry);
27102b69b28SMiklos Szeredi 		if (err)
27202b69b28SMiklos Szeredi 			return err;
27302b69b28SMiklos Szeredi 		dentry = base;
2744c7d0c9cSAmir Goldstein 		if (end)
2754c7d0c9cSAmir Goldstein 			break;
2764c7d0c9cSAmir Goldstein 
2774c7d0c9cSAmir Goldstein 		rem -= thislen + 1;
2784c7d0c9cSAmir Goldstein 
2794c7d0c9cSAmir Goldstein 		if (WARN_ON(rem >= d->name.len))
2804c7d0c9cSAmir Goldstein 			return -EIO;
28102b69b28SMiklos Szeredi 	}
28202b69b28SMiklos Szeredi 	*ret = dentry;
28302b69b28SMiklos Szeredi 	return 0;
284e28edc46SMiklos Szeredi }
285e28edc46SMiklos Szeredi 
286a9d01957SAmir Goldstein 
287415543d5SAmir Goldstein static int ovl_check_origin(struct dentry *upperdentry,
288b9343632SChandan Rajendra 			    struct ovl_path *lower, unsigned int numlower,
289b9343632SChandan Rajendra 			    struct ovl_path **stackp, unsigned int *ctrp)
290a9d01957SAmir Goldstein {
291a9d01957SAmir Goldstein 	struct vfsmount *mnt;
292f7d3dacaSAmir Goldstein 	struct dentry *origin = NULL;
293f7d3dacaSAmir Goldstein 	int i;
294a9d01957SAmir Goldstein 
295415543d5SAmir Goldstein 	for (i = 0; i < numlower; i++) {
296b9343632SChandan Rajendra 		mnt = lower[i].layer->mnt;
297a9d01957SAmir Goldstein 		origin = ovl_get_origin(upperdentry, mnt);
298f7d3dacaSAmir Goldstein 		if (IS_ERR(origin))
299a9d01957SAmir Goldstein 			return PTR_ERR(origin);
300a9d01957SAmir Goldstein 
301f7d3dacaSAmir Goldstein 		if (origin)
302f7d3dacaSAmir Goldstein 			break;
303f7d3dacaSAmir Goldstein 	}
304f7d3dacaSAmir Goldstein 
305f7d3dacaSAmir Goldstein 	if (!origin)
306f7d3dacaSAmir Goldstein 		return 0;
307f7d3dacaSAmir Goldstein 
308415543d5SAmir Goldstein 	BUG_ON(*ctrp);
309415543d5SAmir Goldstein 	if (!*stackp)
310b9343632SChandan Rajendra 		*stackp = kmalloc(sizeof(struct ovl_path), GFP_KERNEL);
311a9d01957SAmir Goldstein 	if (!*stackp) {
312a9d01957SAmir Goldstein 		dput(origin);
313a9d01957SAmir Goldstein 		return -ENOMEM;
314a9d01957SAmir Goldstein 	}
315b9343632SChandan Rajendra 	**stackp = (struct ovl_path){.dentry = origin, .layer = lower[i].layer};
316a9d01957SAmir Goldstein 	*ctrp = 1;
317a9d01957SAmir Goldstein 
318a9d01957SAmir Goldstein 	return 0;
319a9d01957SAmir Goldstein }
320a9d01957SAmir Goldstein 
321bbb1e54dSMiklos Szeredi /*
3228b88a2e6SAmir Goldstein  * Verify that @fh matches the origin file handle stored in OVL_XATTR_ORIGIN.
3238b88a2e6SAmir Goldstein  * Return 0 on match, -ESTALE on mismatch, < 0 on error.
3248b88a2e6SAmir Goldstein  */
3258b88a2e6SAmir Goldstein static int ovl_verify_origin_fh(struct dentry *dentry, const struct ovl_fh *fh)
3268b88a2e6SAmir Goldstein {
3278b88a2e6SAmir Goldstein 	struct ovl_fh *ofh = ovl_get_origin_fh(dentry);
3288b88a2e6SAmir Goldstein 	int err = 0;
3298b88a2e6SAmir Goldstein 
3308b88a2e6SAmir Goldstein 	if (!ofh)
3318b88a2e6SAmir Goldstein 		return -ENODATA;
3328b88a2e6SAmir Goldstein 
3338b88a2e6SAmir Goldstein 	if (IS_ERR(ofh))
3348b88a2e6SAmir Goldstein 		return PTR_ERR(ofh);
3358b88a2e6SAmir Goldstein 
3368b88a2e6SAmir Goldstein 	if (fh->len != ofh->len || memcmp(fh, ofh, fh->len))
3378b88a2e6SAmir Goldstein 		err = -ESTALE;
3388b88a2e6SAmir Goldstein 
3398b88a2e6SAmir Goldstein 	kfree(ofh);
3408b88a2e6SAmir Goldstein 	return err;
3418b88a2e6SAmir Goldstein }
3428b88a2e6SAmir Goldstein 
3438b88a2e6SAmir Goldstein /*
3448b88a2e6SAmir Goldstein  * Verify that an inode matches the origin file handle stored in upper inode.
3458b88a2e6SAmir Goldstein  *
3468b88a2e6SAmir Goldstein  * If @set is true and there is no stored file handle, encode and store origin
3478b88a2e6SAmir Goldstein  * file handle in OVL_XATTR_ORIGIN.
3488b88a2e6SAmir Goldstein  *
3498b88a2e6SAmir Goldstein  * Return 0 on match, -ESTALE on mismatch, < 0 on error.
3508b88a2e6SAmir Goldstein  */
351d9768076SAmir Goldstein int ovl_verify_origin(struct dentry *dentry, struct dentry *origin,
352d9768076SAmir Goldstein 		      bool is_upper, bool set)
3538b88a2e6SAmir Goldstein {
3548b88a2e6SAmir Goldstein 	struct inode *inode;
3558b88a2e6SAmir Goldstein 	struct ovl_fh *fh;
3568b88a2e6SAmir Goldstein 	int err;
3578b88a2e6SAmir Goldstein 
35854fb347eSAmir Goldstein 	fh = ovl_encode_fh(origin, is_upper);
3598b88a2e6SAmir Goldstein 	err = PTR_ERR(fh);
3608b88a2e6SAmir Goldstein 	if (IS_ERR(fh))
3618b88a2e6SAmir Goldstein 		goto fail;
3628b88a2e6SAmir Goldstein 
3638b88a2e6SAmir Goldstein 	err = ovl_verify_origin_fh(dentry, fh);
3648b88a2e6SAmir Goldstein 	if (set && err == -ENODATA)
3658b88a2e6SAmir Goldstein 		err = ovl_do_setxattr(dentry, OVL_XATTR_ORIGIN, fh, fh->len, 0);
3668b88a2e6SAmir Goldstein 	if (err)
3678b88a2e6SAmir Goldstein 		goto fail;
3688b88a2e6SAmir Goldstein 
3698b88a2e6SAmir Goldstein out:
3708b88a2e6SAmir Goldstein 	kfree(fh);
3718b88a2e6SAmir Goldstein 	return err;
3728b88a2e6SAmir Goldstein 
3738b88a2e6SAmir Goldstein fail:
3748b88a2e6SAmir Goldstein 	inode = d_inode(origin);
3758b88a2e6SAmir Goldstein 	pr_warn_ratelimited("overlayfs: failed to verify origin (%pd2, ino=%lu, err=%i)\n",
3768b88a2e6SAmir Goldstein 			    origin, inode ? inode->i_ino : 0, err);
3778b88a2e6SAmir Goldstein 	goto out;
3788b88a2e6SAmir Goldstein }
3798b88a2e6SAmir Goldstein 
3808b88a2e6SAmir Goldstein /*
381415543d5SAmir Goldstein  * Verify that an index entry name matches the origin file handle stored in
382415543d5SAmir Goldstein  * OVL_XATTR_ORIGIN and that origin file handle can be decoded to lower path.
383415543d5SAmir Goldstein  * Return 0 on match, -ESTALE on mismatch or stale origin, < 0 on error.
384415543d5SAmir Goldstein  */
385b9343632SChandan Rajendra int ovl_verify_index(struct dentry *index, struct ovl_path *lower,
386415543d5SAmir Goldstein 		     unsigned int numlower)
387415543d5SAmir Goldstein {
388415543d5SAmir Goldstein 	struct ovl_fh *fh = NULL;
389415543d5SAmir Goldstein 	size_t len;
390b9343632SChandan Rajendra 	struct ovl_path origin = { };
391b9343632SChandan Rajendra 	struct ovl_path *stack = &origin;
392415543d5SAmir Goldstein 	unsigned int ctr = 0;
393415543d5SAmir Goldstein 	int err;
394415543d5SAmir Goldstein 
395415543d5SAmir Goldstein 	if (!d_inode(index))
396415543d5SAmir Goldstein 		return 0;
397415543d5SAmir Goldstein 
39861b67471SAmir Goldstein 	/*
39961b67471SAmir Goldstein 	 * Directory index entries are going to be used for looking up
40061b67471SAmir Goldstein 	 * redirected upper dirs by lower dir fh when decoding an overlay
40161b67471SAmir Goldstein 	 * file handle of a merge dir. Whiteout index entries are going to be
40261b67471SAmir Goldstein 	 * used as an indication that an exported overlay file handle should
40361b67471SAmir Goldstein 	 * be treated as stale (i.e. after unlink of the overlay inode).
40461b67471SAmir Goldstein 	 * We don't know the verification rules for directory and whiteout
40561b67471SAmir Goldstein 	 * index entries, because they have not been implemented yet, so return
406fa0096e3SAmir Goldstein 	 * EINVAL if those entries are found to abort the mount to avoid
407fa0096e3SAmir Goldstein 	 * corrupting an index that was created by a newer kernel.
40861b67471SAmir Goldstein 	 */
409fa0096e3SAmir Goldstein 	err = -EINVAL;
41061b67471SAmir Goldstein 	if (d_is_dir(index) || ovl_is_whiteout(index))
411415543d5SAmir Goldstein 		goto fail;
412415543d5SAmir Goldstein 
413415543d5SAmir Goldstein 	if (index->d_name.len < sizeof(struct ovl_fh)*2)
414415543d5SAmir Goldstein 		goto fail;
415415543d5SAmir Goldstein 
416415543d5SAmir Goldstein 	err = -ENOMEM;
417415543d5SAmir Goldstein 	len = index->d_name.len / 2;
4180ee931c4SMichal Hocko 	fh = kzalloc(len, GFP_KERNEL);
419415543d5SAmir Goldstein 	if (!fh)
420415543d5SAmir Goldstein 		goto fail;
421415543d5SAmir Goldstein 
422415543d5SAmir Goldstein 	err = -EINVAL;
423415543d5SAmir Goldstein 	if (hex2bin((u8 *)fh, index->d_name.name, len) || len != fh->len)
424415543d5SAmir Goldstein 		goto fail;
425415543d5SAmir Goldstein 
426415543d5SAmir Goldstein 	err = ovl_verify_origin_fh(index, fh);
427415543d5SAmir Goldstein 	if (err)
428415543d5SAmir Goldstein 		goto fail;
429415543d5SAmir Goldstein 
430b9343632SChandan Rajendra 	err = ovl_check_origin(index, lower, numlower, &stack, &ctr);
431415543d5SAmir Goldstein 	if (!err && !ctr)
432415543d5SAmir Goldstein 		err = -ESTALE;
433415543d5SAmir Goldstein 	if (err)
434415543d5SAmir Goldstein 		goto fail;
435415543d5SAmir Goldstein 
436caf70cb2SAmir Goldstein 	/* Check if index is orphan and don't warn before cleaning it */
437caf70cb2SAmir Goldstein 	if (d_inode(index)->i_nlink == 1 &&
43808d8f8a5SVivek Goyal 	    ovl_get_nlink(origin.dentry, index, 0) == 0)
439caf70cb2SAmir Goldstein 		err = -ENOENT;
440caf70cb2SAmir Goldstein 
441415543d5SAmir Goldstein 	dput(origin.dentry);
442415543d5SAmir Goldstein out:
443415543d5SAmir Goldstein 	kfree(fh);
444415543d5SAmir Goldstein 	return err;
445415543d5SAmir Goldstein 
446415543d5SAmir Goldstein fail:
44761b67471SAmir Goldstein 	pr_warn_ratelimited("overlayfs: failed to verify index (%pd2, ftype=%x, err=%i)\n",
44861b67471SAmir Goldstein 			    index, d_inode(index)->i_mode & S_IFMT, err);
449415543d5SAmir Goldstein 	goto out;
450415543d5SAmir Goldstein }
451415543d5SAmir Goldstein 
452415543d5SAmir Goldstein /*
453359f392cSAmir Goldstein  * Lookup in indexdir for the index entry of a lower real inode or a copy up
454359f392cSAmir Goldstein  * origin inode. The index entry name is the hex representation of the lower
455359f392cSAmir Goldstein  * inode file handle.
456359f392cSAmir Goldstein  *
457359f392cSAmir Goldstein  * If the index dentry in negative, then either no lower aliases have been
458359f392cSAmir Goldstein  * copied up yet, or aliases have been copied up in older kernels and are
459359f392cSAmir Goldstein  * not indexed.
460359f392cSAmir Goldstein  *
461359f392cSAmir Goldstein  * If the index dentry for a copy up origin inode is positive, but points
462359f392cSAmir Goldstein  * to an inode different than the upper inode, then either the upper inode
463359f392cSAmir Goldstein  * has been copied up and not indexed or it was indexed, but since then
464359f392cSAmir Goldstein  * index dir was cleared. Either way, that index cannot be used to indentify
465359f392cSAmir Goldstein  * the overlay inode.
466359f392cSAmir Goldstein  */
467359f392cSAmir Goldstein int ovl_get_index_name(struct dentry *origin, struct qstr *name)
468359f392cSAmir Goldstein {
469359f392cSAmir Goldstein 	int err;
470359f392cSAmir Goldstein 	struct ovl_fh *fh;
471359f392cSAmir Goldstein 	char *n, *s;
472359f392cSAmir Goldstein 
473359f392cSAmir Goldstein 	fh = ovl_encode_fh(origin, false);
474359f392cSAmir Goldstein 	if (IS_ERR(fh))
475359f392cSAmir Goldstein 		return PTR_ERR(fh);
476359f392cSAmir Goldstein 
477359f392cSAmir Goldstein 	err = -ENOMEM;
4780ee931c4SMichal Hocko 	n = kzalloc(fh->len * 2, GFP_KERNEL);
479359f392cSAmir Goldstein 	if (n) {
480359f392cSAmir Goldstein 		s  = bin2hex(n, fh, fh->len);
481359f392cSAmir Goldstein 		*name = (struct qstr) QSTR_INIT(n, s - n);
482359f392cSAmir Goldstein 		err = 0;
483359f392cSAmir Goldstein 	}
484359f392cSAmir Goldstein 	kfree(fh);
485359f392cSAmir Goldstein 
486359f392cSAmir Goldstein 	return err;
487359f392cSAmir Goldstein 
488359f392cSAmir Goldstein }
489359f392cSAmir Goldstein 
490359f392cSAmir Goldstein static struct dentry *ovl_lookup_index(struct dentry *dentry,
491359f392cSAmir Goldstein 				       struct dentry *upper,
492359f392cSAmir Goldstein 				       struct dentry *origin)
493359f392cSAmir Goldstein {
494359f392cSAmir Goldstein 	struct ovl_fs *ofs = dentry->d_sb->s_fs_info;
495359f392cSAmir Goldstein 	struct dentry *index;
496359f392cSAmir Goldstein 	struct inode *inode;
497359f392cSAmir Goldstein 	struct qstr name;
498359f392cSAmir Goldstein 	int err;
499359f392cSAmir Goldstein 
500359f392cSAmir Goldstein 	err = ovl_get_index_name(origin, &name);
501359f392cSAmir Goldstein 	if (err)
502359f392cSAmir Goldstein 		return ERR_PTR(err);
503359f392cSAmir Goldstein 
504359f392cSAmir Goldstein 	index = lookup_one_len_unlocked(name.name, ofs->indexdir, name.len);
505359f392cSAmir Goldstein 	if (IS_ERR(index)) {
506e0082a0fSAmir Goldstein 		err = PTR_ERR(index);
5077937a56fSAmir Goldstein 		if (err == -ENOENT) {
5087937a56fSAmir Goldstein 			index = NULL;
5097937a56fSAmir Goldstein 			goto out;
5107937a56fSAmir Goldstein 		}
511359f392cSAmir Goldstein 		pr_warn_ratelimited("overlayfs: failed inode index lookup (ino=%lu, key=%*s, err=%i);\n"
512359f392cSAmir Goldstein 				    "overlayfs: mount with '-o index=off' to disable inodes index.\n",
513359f392cSAmir Goldstein 				    d_inode(origin)->i_ino, name.len, name.name,
514359f392cSAmir Goldstein 				    err);
515359f392cSAmir Goldstein 		goto out;
516359f392cSAmir Goldstein 	}
517359f392cSAmir Goldstein 
5180e082555SAmir Goldstein 	inode = d_inode(index);
519359f392cSAmir Goldstein 	if (d_is_negative(index)) {
5206eaf0111SAmir Goldstein 		goto out_dput;
5210e082555SAmir Goldstein 	} else if (upper && d_inode(upper) != inode) {
5226eaf0111SAmir Goldstein 		goto out_dput;
5230e082555SAmir Goldstein 	} else if (ovl_dentry_weird(index) || ovl_is_whiteout(index) ||
5240e082555SAmir Goldstein 		   ((inode->i_mode ^ d_inode(origin)->i_mode) & S_IFMT)) {
5250e082555SAmir Goldstein 		/*
5260e082555SAmir Goldstein 		 * Index should always be of the same file type as origin
5270e082555SAmir Goldstein 		 * except for the case of a whiteout index. A whiteout
5280e082555SAmir Goldstein 		 * index should only exist if all lower aliases have been
5290e082555SAmir Goldstein 		 * unlinked, which means that finding a lower origin on lookup
5300e082555SAmir Goldstein 		 * whose index is a whiteout should be treated as an error.
5310e082555SAmir Goldstein 		 */
5320e082555SAmir Goldstein 		pr_warn_ratelimited("overlayfs: bad index found (index=%pd2, ftype=%x, origin ftype=%x).\n",
5330e082555SAmir Goldstein 				    index, d_inode(index)->i_mode & S_IFMT,
5340e082555SAmir Goldstein 				    d_inode(origin)->i_mode & S_IFMT);
535359f392cSAmir Goldstein 		goto fail;
536359f392cSAmir Goldstein 	}
537359f392cSAmir Goldstein 
538359f392cSAmir Goldstein out:
539359f392cSAmir Goldstein 	kfree(name.name);
540359f392cSAmir Goldstein 	return index;
541359f392cSAmir Goldstein 
5426eaf0111SAmir Goldstein out_dput:
5436eaf0111SAmir Goldstein 	dput(index);
5446eaf0111SAmir Goldstein 	index = NULL;
5456eaf0111SAmir Goldstein 	goto out;
5466eaf0111SAmir Goldstein 
547359f392cSAmir Goldstein fail:
548359f392cSAmir Goldstein 	dput(index);
549359f392cSAmir Goldstein 	index = ERR_PTR(-EIO);
550359f392cSAmir Goldstein 	goto out;
551359f392cSAmir Goldstein }
552359f392cSAmir Goldstein 
553359f392cSAmir Goldstein /*
554bbb1e54dSMiklos Szeredi  * Returns next layer in stack starting from top.
555bbb1e54dSMiklos Szeredi  * Returns -1 if this is the last layer.
556bbb1e54dSMiklos Szeredi  */
557bbb1e54dSMiklos Szeredi int ovl_path_next(int idx, struct dentry *dentry, struct path *path)
558bbb1e54dSMiklos Szeredi {
559bbb1e54dSMiklos Szeredi 	struct ovl_entry *oe = dentry->d_fsdata;
560bbb1e54dSMiklos Szeredi 
561bbb1e54dSMiklos Szeredi 	BUG_ON(idx < 0);
562bbb1e54dSMiklos Szeredi 	if (idx == 0) {
563bbb1e54dSMiklos Szeredi 		ovl_path_upper(dentry, path);
564bbb1e54dSMiklos Szeredi 		if (path->dentry)
565bbb1e54dSMiklos Szeredi 			return oe->numlower ? 1 : -1;
566bbb1e54dSMiklos Szeredi 		idx++;
567bbb1e54dSMiklos Szeredi 	}
568bbb1e54dSMiklos Szeredi 	BUG_ON(idx > oe->numlower);
569b9343632SChandan Rajendra 	path->dentry = oe->lowerstack[idx - 1].dentry;
570b9343632SChandan Rajendra 	path->mnt = oe->lowerstack[idx - 1].layer->mnt;
571bbb1e54dSMiklos Szeredi 
572bbb1e54dSMiklos Szeredi 	return (idx < oe->numlower) ? idx + 1 : -1;
573bbb1e54dSMiklos Szeredi }
574bbb1e54dSMiklos Szeredi 
5759678e630SAmir Goldstein /* Fix missing 'origin' xattr */
5769678e630SAmir Goldstein static int ovl_fix_origin(struct dentry *dentry, struct dentry *lower,
5779678e630SAmir Goldstein 			  struct dentry *upper)
5789678e630SAmir Goldstein {
5799678e630SAmir Goldstein 	int err;
5809678e630SAmir Goldstein 
5819678e630SAmir Goldstein 	if (ovl_check_origin_xattr(upper))
5829678e630SAmir Goldstein 		return 0;
5839678e630SAmir Goldstein 
5849678e630SAmir Goldstein 	err = ovl_want_write(dentry);
5859678e630SAmir Goldstein 	if (err)
5869678e630SAmir Goldstein 		return err;
5879678e630SAmir Goldstein 
5889678e630SAmir Goldstein 	err = ovl_set_origin(dentry, lower, upper);
5899678e630SAmir Goldstein 	if (!err)
5909678e630SAmir Goldstein 		err = ovl_set_impure(dentry->d_parent, upper->d_parent);
5919678e630SAmir Goldstein 
5929678e630SAmir Goldstein 	ovl_drop_write(dentry);
5939678e630SAmir Goldstein 	return err;
5949678e630SAmir Goldstein }
5959678e630SAmir Goldstein 
596bbb1e54dSMiklos Szeredi struct dentry *ovl_lookup(struct inode *dir, struct dentry *dentry,
597bbb1e54dSMiklos Szeredi 			  unsigned int flags)
598bbb1e54dSMiklos Szeredi {
599bbb1e54dSMiklos Szeredi 	struct ovl_entry *oe;
600bbb1e54dSMiklos Szeredi 	const struct cred *old_cred;
6016b2d5fe4SMiklos Szeredi 	struct ovl_fs *ofs = dentry->d_sb->s_fs_info;
602bbb1e54dSMiklos Szeredi 	struct ovl_entry *poe = dentry->d_parent->d_fsdata;
603c22205d0SAmir Goldstein 	struct ovl_entry *roe = dentry->d_sb->s_root->d_fsdata;
604b9343632SChandan Rajendra 	struct ovl_path *stack = NULL;
605bbb1e54dSMiklos Szeredi 	struct dentry *upperdir, *upperdentry = NULL;
606359f392cSAmir Goldstein 	struct dentry *index = NULL;
607bbb1e54dSMiklos Szeredi 	unsigned int ctr = 0;
608bbb1e54dSMiklos Szeredi 	struct inode *inode = NULL;
609bbb1e54dSMiklos Szeredi 	bool upperopaque = false;
61002b69b28SMiklos Szeredi 	char *upperredirect = NULL;
611bbb1e54dSMiklos Szeredi 	struct dentry *this;
612bbb1e54dSMiklos Szeredi 	unsigned int i;
613bbb1e54dSMiklos Szeredi 	int err;
614e28edc46SMiklos Szeredi 	struct ovl_lookup_data d = {
615e28edc46SMiklos Szeredi 		.name = dentry->d_name,
616e28edc46SMiklos Szeredi 		.is_dir = false,
617e28edc46SMiklos Szeredi 		.opaque = false,
618e28edc46SMiklos Szeredi 		.stop = false,
619e28edc46SMiklos Szeredi 		.last = !poe->numlower,
62002b69b28SMiklos Szeredi 		.redirect = NULL,
621e28edc46SMiklos Szeredi 	};
622bbb1e54dSMiklos Szeredi 
6236b2d5fe4SMiklos Szeredi 	if (dentry->d_name.len > ofs->namelen)
6246b2d5fe4SMiklos Szeredi 		return ERR_PTR(-ENAMETOOLONG);
6256b2d5fe4SMiklos Szeredi 
626bbb1e54dSMiklos Szeredi 	old_cred = ovl_override_creds(dentry->d_sb);
62709d8b586SMiklos Szeredi 	upperdir = ovl_dentry_upper(dentry->d_parent);
628bbb1e54dSMiklos Szeredi 	if (upperdir) {
629e28edc46SMiklos Szeredi 		err = ovl_lookup_layer(upperdir, &d, &upperdentry);
630e28edc46SMiklos Szeredi 		if (err)
631bbb1e54dSMiklos Szeredi 			goto out;
632bbb1e54dSMiklos Szeredi 
633e28edc46SMiklos Szeredi 		if (upperdentry && unlikely(ovl_dentry_remote(upperdentry))) {
634e28edc46SMiklos Szeredi 			dput(upperdentry);
635bbb1e54dSMiklos Szeredi 			err = -EREMOTE;
636bbb1e54dSMiklos Szeredi 			goto out;
637bbb1e54dSMiklos Szeredi 		}
638a9d01957SAmir Goldstein 		if (upperdentry && !d.is_dir) {
639a9d01957SAmir Goldstein 			BUG_ON(!d.stop || d.redirect);
640f7d3dacaSAmir Goldstein 			/*
641f7d3dacaSAmir Goldstein 			 * Lookup copy up origin by decoding origin file handle.
642f7d3dacaSAmir Goldstein 			 * We may get a disconnected dentry, which is fine,
643f7d3dacaSAmir Goldstein 			 * because we only need to hold the origin inode in
644f7d3dacaSAmir Goldstein 			 * cache and use its inode number.  We may even get a
645f7d3dacaSAmir Goldstein 			 * connected dentry, that is not under any of the lower
646f7d3dacaSAmir Goldstein 			 * layers root.  That is also fine for using it's inode
647f7d3dacaSAmir Goldstein 			 * number - it's the same as if we held a reference
648f7d3dacaSAmir Goldstein 			 * to a dentry in lower layer that was moved under us.
649f7d3dacaSAmir Goldstein 			 */
650415543d5SAmir Goldstein 			err = ovl_check_origin(upperdentry, roe->lowerstack,
651415543d5SAmir Goldstein 					       roe->numlower, &stack, &ctr);
652a9d01957SAmir Goldstein 			if (err)
6535455f92bSVivek Goyal 				goto out_put_upper;
654a9d01957SAmir Goldstein 		}
65502b69b28SMiklos Szeredi 
65602b69b28SMiklos Szeredi 		if (d.redirect) {
6570ce5cdc9SDan Carpenter 			err = -ENOMEM;
65802b69b28SMiklos Szeredi 			upperredirect = kstrdup(d.redirect, GFP_KERNEL);
65902b69b28SMiklos Szeredi 			if (!upperredirect)
66002b69b28SMiklos Szeredi 				goto out_put_upper;
66102b69b28SMiklos Szeredi 			if (d.redirect[0] == '/')
662c22205d0SAmir Goldstein 				poe = roe;
66302b69b28SMiklos Szeredi 		}
664e28edc46SMiklos Szeredi 		upperopaque = d.opaque;
665bbb1e54dSMiklos Szeredi 	}
666bbb1e54dSMiklos Szeredi 
667e28edc46SMiklos Szeredi 	if (!d.stop && poe->numlower) {
668bbb1e54dSMiklos Szeredi 		err = -ENOMEM;
669b9343632SChandan Rajendra 		stack = kcalloc(ofs->numlower, sizeof(struct ovl_path),
6700ee931c4SMichal Hocko 				GFP_KERNEL);
671bbb1e54dSMiklos Szeredi 		if (!stack)
672bbb1e54dSMiklos Szeredi 			goto out_put_upper;
673bbb1e54dSMiklos Szeredi 	}
674bbb1e54dSMiklos Szeredi 
675e28edc46SMiklos Szeredi 	for (i = 0; !d.stop && i < poe->numlower; i++) {
676b9343632SChandan Rajendra 		struct ovl_path lower = poe->lowerstack[i];
677bbb1e54dSMiklos Szeredi 
678e28edc46SMiklos Szeredi 		d.last = i == poe->numlower - 1;
679b9343632SChandan Rajendra 		err = ovl_lookup_layer(lower.dentry, &d, &this);
680e28edc46SMiklos Szeredi 		if (err)
681bbb1e54dSMiklos Szeredi 			goto out_put;
6826b2d5fe4SMiklos Szeredi 
683bbb1e54dSMiklos Szeredi 		if (!this)
684bbb1e54dSMiklos Szeredi 			continue;
685bbb1e54dSMiklos Szeredi 
6869678e630SAmir Goldstein 		/*
6879678e630SAmir Goldstein 		 * If no origin fh is stored in upper of a merge dir, store fh
6889678e630SAmir Goldstein 		 * of lower dir and set upper parent "impure".
6899678e630SAmir Goldstein 		 */
6909678e630SAmir Goldstein 		if (upperdentry && !ctr && !ofs->noxattr) {
6919678e630SAmir Goldstein 			err = ovl_fix_origin(dentry, this, upperdentry);
6929678e630SAmir Goldstein 			if (err) {
6939678e630SAmir Goldstein 				dput(this);
6949678e630SAmir Goldstein 				goto out_put;
6959678e630SAmir Goldstein 			}
6969678e630SAmir Goldstein 		}
6979678e630SAmir Goldstein 
698bbb1e54dSMiklos Szeredi 		stack[ctr].dentry = this;
699b9343632SChandan Rajendra 		stack[ctr].layer = lower.layer;
700bbb1e54dSMiklos Szeredi 		ctr++;
70102b69b28SMiklos Szeredi 
70202b69b28SMiklos Szeredi 		if (d.stop)
70302b69b28SMiklos Szeredi 			break;
70402b69b28SMiklos Szeredi 
705438c84c2SMiklos Szeredi 		/*
706438c84c2SMiklos Szeredi 		 * Following redirects can have security consequences: it's like
707438c84c2SMiklos Szeredi 		 * a symlink into the lower layer without the permission checks.
708438c84c2SMiklos Szeredi 		 * This is only a problem if the upper layer is untrusted (e.g
709438c84c2SMiklos Szeredi 		 * comes from an USB drive).  This can allow a non-readable file
710438c84c2SMiklos Szeredi 		 * or directory to become readable.
711438c84c2SMiklos Szeredi 		 *
712438c84c2SMiklos Szeredi 		 * Only following redirects when redirects are enabled disables
713438c84c2SMiklos Szeredi 		 * this attack vector when not necessary.
714438c84c2SMiklos Szeredi 		 */
715438c84c2SMiklos Szeredi 		err = -EPERM;
716438c84c2SMiklos Szeredi 		if (d.redirect && !ofs->config.redirect_follow) {
717f8167817SAmir Goldstein 			pr_warn_ratelimited("overlayfs: refusing to follow redirect for (%pd2)\n",
718f8167817SAmir Goldstein 					    dentry);
719438c84c2SMiklos Szeredi 			goto out_put;
720438c84c2SMiklos Szeredi 		}
721438c84c2SMiklos Szeredi 
722c22205d0SAmir Goldstein 		if (d.redirect && d.redirect[0] == '/' && poe != roe) {
723c22205d0SAmir Goldstein 			poe = roe;
72402b69b28SMiklos Szeredi 			/* Find the current layer on the root dentry */
725d583ed7dSAmir Goldstein 			i = lower.layer->idx - 1;
72602b69b28SMiklos Szeredi 		}
727bbb1e54dSMiklos Szeredi 	}
728bbb1e54dSMiklos Szeredi 
729359f392cSAmir Goldstein 	/* Lookup index by lower inode and verify it matches upper inode */
730359f392cSAmir Goldstein 	if (ctr && !d.is_dir && ovl_indexdir(dentry->d_sb)) {
731359f392cSAmir Goldstein 		struct dentry *origin = stack[0].dentry;
732359f392cSAmir Goldstein 
733359f392cSAmir Goldstein 		index = ovl_lookup_index(dentry, upperdentry, origin);
734359f392cSAmir Goldstein 		if (IS_ERR(index)) {
735359f392cSAmir Goldstein 			err = PTR_ERR(index);
736359f392cSAmir Goldstein 			index = NULL;
737359f392cSAmir Goldstein 			goto out_put;
738359f392cSAmir Goldstein 		}
739359f392cSAmir Goldstein 	}
740359f392cSAmir Goldstein 
741bbb1e54dSMiklos Szeredi 	oe = ovl_alloc_entry(ctr);
742bbb1e54dSMiklos Szeredi 	err = -ENOMEM;
743bbb1e54dSMiklos Szeredi 	if (!oe)
744bbb1e54dSMiklos Szeredi 		goto out_put;
745bbb1e54dSMiklos Szeredi 
746bbb1e54dSMiklos Szeredi 	oe->opaque = upperopaque;
747b9343632SChandan Rajendra 	memcpy(oe->lowerstack, stack, sizeof(struct ovl_path) * ctr);
748e6d2ebddSMiklos Szeredi 	dentry->d_fsdata = oe;
749e6d2ebddSMiklos Szeredi 
75055acc661SMiklos Szeredi 	if (upperdentry)
75155acc661SMiklos Szeredi 		ovl_dentry_set_upper_alias(dentry);
75255acc661SMiklos Szeredi 	else if (index)
753359f392cSAmir Goldstein 		upperdentry = dget(index);
754359f392cSAmir Goldstein 
755e6d2ebddSMiklos Szeredi 	if (upperdentry || ctr) {
7566eaf0111SAmir Goldstein 		inode = ovl_get_inode(dentry, upperdentry, index);
757b9ac5c27SMiklos Szeredi 		err = PTR_ERR(inode);
758b9ac5c27SMiklos Szeredi 		if (IS_ERR(inode))
759e6d2ebddSMiklos Szeredi 			goto out_free_oe;
760cf31c463SMiklos Szeredi 
761cf31c463SMiklos Szeredi 		OVL_I(inode)->redirect = upperredirect;
762359f392cSAmir Goldstein 		if (index)
763359f392cSAmir Goldstein 			ovl_set_flag(OVL_INDEX, inode);
764e6d2ebddSMiklos Szeredi 	}
765e6d2ebddSMiklos Szeredi 
766e6d2ebddSMiklos Szeredi 	revert_creds(old_cred);
767359f392cSAmir Goldstein 	dput(index);
768bbb1e54dSMiklos Szeredi 	kfree(stack);
76902b69b28SMiklos Szeredi 	kfree(d.redirect);
770bbb1e54dSMiklos Szeredi 	d_add(dentry, inode);
771bbb1e54dSMiklos Szeredi 
772bbb1e54dSMiklos Szeredi 	return NULL;
773bbb1e54dSMiklos Szeredi 
774bbb1e54dSMiklos Szeredi out_free_oe:
775e6d2ebddSMiklos Szeredi 	dentry->d_fsdata = NULL;
776bbb1e54dSMiklos Szeredi 	kfree(oe);
777bbb1e54dSMiklos Szeredi out_put:
778359f392cSAmir Goldstein 	dput(index);
779bbb1e54dSMiklos Szeredi 	for (i = 0; i < ctr; i++)
780bbb1e54dSMiklos Szeredi 		dput(stack[i].dentry);
781bbb1e54dSMiklos Szeredi 	kfree(stack);
782bbb1e54dSMiklos Szeredi out_put_upper:
783bbb1e54dSMiklos Szeredi 	dput(upperdentry);
78402b69b28SMiklos Szeredi 	kfree(upperredirect);
785bbb1e54dSMiklos Szeredi out:
78602b69b28SMiklos Szeredi 	kfree(d.redirect);
787bbb1e54dSMiklos Szeredi 	revert_creds(old_cred);
788bbb1e54dSMiklos Szeredi 	return ERR_PTR(err);
789bbb1e54dSMiklos Szeredi }
790bbb1e54dSMiklos Szeredi 
791bbb1e54dSMiklos Szeredi bool ovl_lower_positive(struct dentry *dentry)
792bbb1e54dSMiklos Szeredi {
793bbb1e54dSMiklos Szeredi 	struct ovl_entry *oe = dentry->d_fsdata;
794bbb1e54dSMiklos Szeredi 	struct ovl_entry *poe = dentry->d_parent->d_fsdata;
795bbb1e54dSMiklos Szeredi 	const struct qstr *name = &dentry->d_name;
7966d0a8a90SAmir Goldstein 	const struct cred *old_cred;
797bbb1e54dSMiklos Szeredi 	unsigned int i;
798bbb1e54dSMiklos Szeredi 	bool positive = false;
799bbb1e54dSMiklos Szeredi 	bool done = false;
800bbb1e54dSMiklos Szeredi 
801bbb1e54dSMiklos Szeredi 	/*
802bbb1e54dSMiklos Szeredi 	 * If dentry is negative, then lower is positive iff this is a
803bbb1e54dSMiklos Szeredi 	 * whiteout.
804bbb1e54dSMiklos Szeredi 	 */
805bbb1e54dSMiklos Szeredi 	if (!dentry->d_inode)
806bbb1e54dSMiklos Szeredi 		return oe->opaque;
807bbb1e54dSMiklos Szeredi 
808bbb1e54dSMiklos Szeredi 	/* Negative upper -> positive lower */
80909d8b586SMiklos Szeredi 	if (!ovl_dentry_upper(dentry))
810bbb1e54dSMiklos Szeredi 		return true;
811bbb1e54dSMiklos Szeredi 
8126d0a8a90SAmir Goldstein 	old_cred = ovl_override_creds(dentry->d_sb);
813bbb1e54dSMiklos Szeredi 	/* Positive upper -> have to look up lower to see whether it exists */
814bbb1e54dSMiklos Szeredi 	for (i = 0; !done && !positive && i < poe->numlower; i++) {
815bbb1e54dSMiklos Szeredi 		struct dentry *this;
816bbb1e54dSMiklos Szeredi 		struct dentry *lowerdir = poe->lowerstack[i].dentry;
817bbb1e54dSMiklos Szeredi 
818bbb1e54dSMiklos Szeredi 		this = lookup_one_len_unlocked(name->name, lowerdir,
819bbb1e54dSMiklos Szeredi 					       name->len);
820bbb1e54dSMiklos Szeredi 		if (IS_ERR(this)) {
821bbb1e54dSMiklos Szeredi 			switch (PTR_ERR(this)) {
822bbb1e54dSMiklos Szeredi 			case -ENOENT:
823bbb1e54dSMiklos Szeredi 			case -ENAMETOOLONG:
824bbb1e54dSMiklos Szeredi 				break;
825bbb1e54dSMiklos Szeredi 
826bbb1e54dSMiklos Szeredi 			default:
827bbb1e54dSMiklos Szeredi 				/*
828bbb1e54dSMiklos Szeredi 				 * Assume something is there, we just couldn't
829bbb1e54dSMiklos Szeredi 				 * access it.
830bbb1e54dSMiklos Szeredi 				 */
831bbb1e54dSMiklos Szeredi 				positive = true;
832bbb1e54dSMiklos Szeredi 				break;
833bbb1e54dSMiklos Szeredi 			}
834bbb1e54dSMiklos Szeredi 		} else {
835bbb1e54dSMiklos Szeredi 			if (this->d_inode) {
836bbb1e54dSMiklos Szeredi 				positive = !ovl_is_whiteout(this);
837bbb1e54dSMiklos Szeredi 				done = true;
838bbb1e54dSMiklos Szeredi 			}
839bbb1e54dSMiklos Szeredi 			dput(this);
840bbb1e54dSMiklos Szeredi 		}
841bbb1e54dSMiklos Szeredi 	}
8426d0a8a90SAmir Goldstein 	revert_creds(old_cred);
843bbb1e54dSMiklos Szeredi 
844bbb1e54dSMiklos Szeredi 	return positive;
845bbb1e54dSMiklos Szeredi }
846