1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright (C) 2011 Novell Inc.
4 * Copyright (C) 2016 Red Hat, Inc.
8 #include <linux/cred.h>
9 #include <linux/ctype.h>
10 #include <linux/namei.h>
11 #include <linux/xattr.h>
12 #include <linux/ratelimit.h>
13 #include <linux/mount.h>
14 #include <linux/exportfs.h>
15 #include "overlayfs.h"
17 #include "../internal.h" /* for vfs_path_lookup */
19 struct ovl_lookup_data {
20 struct super_block *sb;
29 /* Referring to last redirect xattr */
30 bool absolute_redirect;
33 static int ovl_check_redirect(const struct path *path, struct ovl_lookup_data *d,
34 size_t prelen, const char *post)
38 struct ovl_fs *ofs = OVL_FS(d->sb);
40 d->absolute_redirect = false;
41 buf = ovl_get_redirect_xattr(ofs, path, prelen + strlen(post));
42 if (IS_ERR_OR_NULL(buf))
46 d->absolute_redirect = true;
48 * One of the ancestor path elements in an absolute path
49 * lookup in ovl_lookup_layer() could have been opaque and
50 * that will stop further lookup in lower layers (d->stop=true)
51 * But we have found an absolute redirect in descendant path
52 * element and that should force continue lookup in lower
53 * layers (reset d->stop).
57 res = strlen(buf) + 1;
58 memmove(buf + prelen, buf, res);
59 memcpy(buf, d->name.name, prelen);
65 d->name.name = d->redirect;
66 d->name.len = strlen(d->redirect);
71 static int ovl_acceptable(void *ctx, struct dentry *dentry)
74 * A non-dir origin may be disconnected, which is fine, because
75 * we only need it for its unique inode number.
77 if (!d_is_dir(dentry))
80 /* Don't decode a deleted empty directory */
81 if (d_unhashed(dentry))
84 /* Check if directory belongs to the layer we are decoding from */
85 return is_subdir(dentry, ((struct vfsmount *)ctx)->mnt_root);
89 * Check validity of an overlay file handle buffer.
91 * Return 0 for a valid file handle.
92 * Return -ENODATA for "origin unknown".
93 * Return <0 for an invalid file handle.
95 int ovl_check_fb_len(struct ovl_fb *fb, int fb_len)
97 if (fb_len < sizeof(struct ovl_fb) || fb_len < fb->len)
100 if (fb->magic != OVL_FH_MAGIC)
103 /* Treat larger version and unknown flags as "origin unknown" */
104 if (fb->version > OVL_FH_VERSION || fb->flags & ~OVL_FH_FLAG_ALL)
107 /* Treat endianness mismatch as "origin unknown" */
108 if (!(fb->flags & OVL_FH_FLAG_ANY_ENDIAN) &&
109 (fb->flags & OVL_FH_FLAG_BIG_ENDIAN) != OVL_FH_FLAG_CPU_ENDIAN)
115 static struct ovl_fh *ovl_get_fh(struct ovl_fs *ofs, struct dentry *upperdentry,
119 struct ovl_fh *fh = NULL;
121 res = ovl_getxattr_upper(ofs, upperdentry, ox, NULL, 0);
123 if (res == -ENODATA || res == -EOPNOTSUPP)
127 /* Zero size value means "copied up but origin unknown" */
131 fh = kzalloc(res + OVL_FH_WIRE_OFFSET, GFP_KERNEL);
133 return ERR_PTR(-ENOMEM);
135 res = ovl_getxattr_upper(ofs, upperdentry, ox, fh->buf, res);
139 err = ovl_check_fb_len(&fh->fb, res);
153 pr_warn_ratelimited("failed to get origin (%i)\n", res);
156 pr_warn_ratelimited("invalid origin (%*phN)\n", res, fh);
160 struct dentry *ovl_decode_real_fh(struct ovl_fs *ofs, struct ovl_fh *fh,
161 struct vfsmount *mnt, bool connected)
166 if (!capable(CAP_DAC_READ_SEARCH))
170 * Make sure that the stored uuid matches the uuid of the lower
171 * layer where file handle will be decoded.
172 * In case of uuid=off option just make sure that stored uuid is null.
174 if (ovl_origin_uuid(ofs) ?
175 !uuid_equal(&fh->fb.uuid, &mnt->mnt_sb->s_uuid) :
176 !uuid_is_null(&fh->fb.uuid))
179 bytes = (fh->fb.len - offsetof(struct ovl_fb, fid));
180 real = exportfs_decode_fh(mnt, (struct fid *)fh->fb.fid,
181 bytes >> 2, (int)fh->fb.type,
182 connected ? ovl_acceptable : NULL, mnt);
185 * Treat stale file handle to lower file as "origin unknown".
186 * upper file handle could become stale when upper file is
187 * unlinked and this information is needed to handle stale
188 * index entries correctly.
190 if (real == ERR_PTR(-ESTALE) &&
191 !(fh->fb.flags & OVL_FH_FLAG_PATH_UPPER))
196 if (ovl_dentry_weird(real)) {
204 static bool ovl_is_opaquedir(struct ovl_fs *ofs, const struct path *path)
206 return ovl_path_check_dir_xattr(ofs, path, OVL_XATTR_OPAQUE);
209 static struct dentry *ovl_lookup_positive_unlocked(struct ovl_lookup_data *d,
211 struct dentry *base, int len,
214 struct dentry *ret = lookup_one_unlocked(mnt_idmap(d->mnt), name, base, len);
216 if (!IS_ERR(ret) && d_flags_negative(smp_load_acquire(&ret->d_flags))) {
217 if (drop_negative && ret->d_lockref.count == 1) {
218 spin_lock(&ret->d_lock);
219 /* Recheck condition under lock */
220 if (d_is_negative(ret) && ret->d_lockref.count == 1)
222 spin_unlock(&ret->d_lock);
225 ret = ERR_PTR(-ENOENT);
230 static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d,
231 const char *name, unsigned int namelen,
232 size_t prelen, const char *post,
233 struct dentry **ret, bool drop_negative)
238 bool last_element = !post[0];
240 this = ovl_lookup_positive_unlocked(d, name, base, namelen, drop_negative);
244 if (err == -ENOENT || err == -ENAMETOOLONG)
249 if (ovl_dentry_weird(this)) {
250 /* Don't support traversing automounts and other weirdness */
257 if (ovl_path_is_whiteout(OVL_FS(d->sb), &path)) {
258 d->stop = d->opaque = true;
262 * This dentry should be a regular file if previous layer lookup
263 * found a metacopy dentry.
265 if (last_element && d->metacopy && !d_is_reg(this)) {
270 if (!d_can_lookup(this)) {
271 if (d->is_dir || !last_element) {
275 err = ovl_check_metacopy_xattr(OVL_FS(d->sb), &path, NULL);
280 d->stop = !d->metacopy;
281 if (!d->metacopy || d->last)
284 if (ovl_lookup_trap_inode(d->sb, this)) {
285 /* Caught in a trap of overlapping layers */
295 if (ovl_is_opaquedir(OVL_FS(d->sb), &path)) {
302 err = ovl_check_redirect(&path, d, prelen, post);
319 static int ovl_lookup_layer(struct dentry *base, struct ovl_lookup_data *d,
320 struct dentry **ret, bool drop_negative)
322 /* Counting down from the end, since the prefix can change */
323 size_t rem = d->name.len - 1;
324 struct dentry *dentry = NULL;
327 if (d->name.name[0] != '/')
328 return ovl_lookup_single(base, d, d->name.name, d->name.len,
329 0, "", ret, drop_negative);
331 while (!IS_ERR_OR_NULL(base) && d_can_lookup(base)) {
332 const char *s = d->name.name + d->name.len - rem;
333 const char *next = strchrnul(s, '/');
334 size_t thislen = next - s;
337 /* Verify we did not go off the rails */
338 if (WARN_ON(s[-1] != '/'))
341 err = ovl_lookup_single(base, d, s, thislen,
342 d->name.len - rem, next, &base,
353 if (WARN_ON(rem >= d->name.len))
360 static int ovl_lookup_data_layer(struct dentry *dentry, const char *redirect,
361 const struct ovl_layer *layer,
362 struct path *datapath)
366 err = vfs_path_lookup(layer->mnt->mnt_root, layer->mnt, redirect,
367 LOOKUP_BENEATH | LOOKUP_NO_SYMLINKS | LOOKUP_NO_XDEV,
369 pr_debug("lookup lowerdata (%pd2, redirect=\"%s\", layer=%d, err=%i)\n",
370 dentry, redirect, layer->idx, err);
376 if (ovl_dentry_weird(datapath->dentry))
380 /* Only regular file is acceptable as lower data */
381 if (!d_is_reg(datapath->dentry))
392 /* Lookup in data-only layers by absolute redirect to layer root */
393 static int ovl_lookup_data_layers(struct dentry *dentry, const char *redirect,
394 struct ovl_path *lowerdata)
396 struct ovl_fs *ofs = OVL_FS(dentry->d_sb);
397 const struct ovl_layer *layer;
398 struct path datapath;
402 layer = &ofs->layers[ofs->numlayer - ofs->numdatalayer];
403 for (i = 0; i < ofs->numdatalayer; i++, layer++) {
404 err = ovl_lookup_data_layer(dentry, redirect, layer, &datapath);
406 mntput(datapath.mnt);
407 lowerdata->dentry = datapath.dentry;
408 lowerdata->layer = layer;
416 int ovl_check_origin_fh(struct ovl_fs *ofs, struct ovl_fh *fh, bool connected,
417 struct dentry *upperdentry, struct ovl_path **stackp)
419 struct dentry *origin = NULL;
422 for (i = 1; i <= ovl_numlowerlayer(ofs); i++) {
424 * If lower fs uuid is not unique among lower fs we cannot match
427 if (ofs->layers[i].fsid &&
428 ofs->layers[i].fs->bad_uuid)
431 origin = ovl_decode_real_fh(ofs, fh, ofs->layers[i].mnt,
439 else if (IS_ERR(origin))
440 return PTR_ERR(origin);
442 if (upperdentry && !ovl_upper_is_whiteout(ofs, upperdentry) &&
443 inode_wrong_type(d_inode(upperdentry), d_inode(origin)->i_mode))
447 *stackp = kmalloc(sizeof(struct ovl_path), GFP_KERNEL);
452 **stackp = (struct ovl_path){
454 .layer = &ofs->layers[i]
460 pr_warn_ratelimited("invalid origin (%pd2, ftype=%x, origin ftype=%x).\n",
461 upperdentry, d_inode(upperdentry)->i_mode & S_IFMT,
462 d_inode(origin)->i_mode & S_IFMT);
467 static int ovl_check_origin(struct ovl_fs *ofs, struct dentry *upperdentry,
468 struct ovl_path **stackp)
470 struct ovl_fh *fh = ovl_get_fh(ofs, upperdentry, OVL_XATTR_ORIGIN);
473 if (IS_ERR_OR_NULL(fh))
476 err = ovl_check_origin_fh(ofs, fh, false, upperdentry, stackp);
489 * Verify that @fh matches the file handle stored in xattr @name.
490 * Return 0 on match, -ESTALE on mismatch, < 0 on error.
492 static int ovl_verify_fh(struct ovl_fs *ofs, struct dentry *dentry,
493 enum ovl_xattr ox, const struct ovl_fh *fh)
495 struct ovl_fh *ofh = ovl_get_fh(ofs, dentry, ox);
504 if (fh->fb.len != ofh->fb.len || memcmp(&fh->fb, &ofh->fb, fh->fb.len))
511 int ovl_verify_set_fh(struct ovl_fs *ofs, struct dentry *dentry,
512 enum ovl_xattr ox, const struct ovl_fh *fh,
513 bool is_upper, bool set)
517 err = ovl_verify_fh(ofs, dentry, ox, fh);
518 if (set && err == -ENODATA)
519 err = ovl_setxattr(ofs, dentry, ox, fh->buf, fh->fb.len);
525 * Verify that @real dentry matches the file handle stored in xattr @name.
527 * If @set is true and there is no stored file handle, encode @real and store
528 * file handle in xattr @name.
530 * Return 0 on match, -ESTALE on mismatch, -ENODATA on no xattr, < 0 on error.
532 int ovl_verify_origin_xattr(struct ovl_fs *ofs, struct dentry *dentry,
533 enum ovl_xattr ox, struct dentry *real,
534 bool is_upper, bool set)
540 fh = ovl_encode_real_fh(ofs, real, is_upper);
547 err = ovl_verify_set_fh(ofs, dentry, ox, fh, is_upper, set);
556 inode = d_inode(real);
557 pr_warn_ratelimited("failed to verify %s (%pd2, ino=%lu, err=%i)\n",
558 is_upper ? "upper" : "origin", real,
559 inode ? inode->i_ino : 0, err);
564 /* Get upper dentry from index */
565 struct dentry *ovl_index_upper(struct ovl_fs *ofs, struct dentry *index,
569 struct dentry *upper;
571 if (!d_is_dir(index))
574 fh = ovl_get_fh(ofs, index, OVL_XATTR_UPPER);
575 if (IS_ERR_OR_NULL(fh))
578 upper = ovl_decode_real_fh(ofs, fh, ovl_upper_mnt(ofs), connected);
581 if (IS_ERR_OR_NULL(upper))
582 return upper ?: ERR_PTR(-ESTALE);
584 if (!d_is_dir(upper)) {
585 pr_warn_ratelimited("invalid index upper (%pd2, upper=%pd2).\n",
588 return ERR_PTR(-EIO);
595 * Verify that an index entry name matches the origin file handle stored in
596 * OVL_XATTR_ORIGIN and that origin file handle can be decoded to lower path.
597 * Return 0 on match, -ESTALE on mismatch or stale origin, < 0 on error.
599 int ovl_verify_index(struct ovl_fs *ofs, struct dentry *index)
601 struct ovl_fh *fh = NULL;
603 struct ovl_path origin = { };
604 struct ovl_path *stack = &origin;
605 struct dentry *upper = NULL;
612 if (index->d_name.len < sizeof(struct ovl_fb)*2)
616 len = index->d_name.len / 2;
617 fh = kzalloc(len + OVL_FH_WIRE_OFFSET, GFP_KERNEL);
622 if (hex2bin(fh->buf, index->d_name.name, len))
625 err = ovl_check_fb_len(&fh->fb, len);
630 * Whiteout index entries are used as an indication that an exported
631 * overlay file handle should be treated as stale (i.e. after unlink
632 * of the overlay inode). These entries contain no origin xattr.
634 if (ovl_is_whiteout(index))
638 * Verifying directory index entries are not stale is expensive, so
639 * only verify stale dir index if NFS export is enabled.
641 if (d_is_dir(index) && !ofs->config.nfs_export)
645 * Directory index entries should have 'upper' xattr pointing to the
646 * real upper dir. Non-dir index entries are hardlinks to the upper
647 * real inode. For non-dir index, we can read the copy up origin xattr
648 * directly from the index dentry, but for dir index we first need to
649 * decode the upper directory.
651 upper = ovl_index_upper(ofs, index, false);
652 if (IS_ERR_OR_NULL(upper)) {
653 err = PTR_ERR(upper);
655 * Directory index entries with no 'upper' xattr need to be
656 * removed. When dir index entry has a stale 'upper' xattr,
657 * we assume that upper dir was removed and we treat the dir
658 * index as orphan entry that needs to be whited out.
667 err = ovl_verify_fh(ofs, upper, OVL_XATTR_ORIGIN, fh);
672 /* Check if non-dir index is orphan and don't warn before cleaning it */
673 if (!d_is_dir(index) && d_inode(index)->i_nlink == 1) {
674 err = ovl_check_origin_fh(ofs, fh, false, index, &stack);
678 if (ovl_get_nlink(ofs, origin.dentry, index, 0) == 0)
688 pr_warn_ratelimited("failed to verify index (%pd2, ftype=%x, err=%i)\n",
689 index, d_inode(index)->i_mode & S_IFMT, err);
693 pr_warn_ratelimited("orphan index entry (%pd2, ftype=%x, nlink=%u)\n",
694 index, d_inode(index)->i_mode & S_IFMT,
695 d_inode(index)->i_nlink);
700 int ovl_get_index_name_fh(const struct ovl_fh *fh, struct qstr *name)
704 n = kcalloc(fh->fb.len, 2, GFP_KERNEL);
708 s = bin2hex(n, fh->buf, fh->fb.len);
709 *name = (struct qstr) QSTR_INIT(n, s - n);
716 * Lookup in indexdir for the index entry of a lower real inode or a copy up
717 * origin inode. The index entry name is the hex representation of the lower
720 * If the index dentry in negative, then either no lower aliases have been
721 * copied up yet, or aliases have been copied up in older kernels and are
724 * If the index dentry for a copy up origin inode is positive, but points
725 * to an inode different than the upper inode, then either the upper inode
726 * has been copied up and not indexed or it was indexed, but since then
727 * index dir was cleared. Either way, that index cannot be used to identify
730 int ovl_get_index_name(struct ovl_fs *ofs, struct dentry *origin,
736 fh = ovl_encode_real_fh(ofs, origin, false);
740 err = ovl_get_index_name_fh(fh, name);
746 /* Lookup index by file handle for NFS export */
747 struct dentry *ovl_get_index_fh(struct ovl_fs *ofs, struct ovl_fh *fh)
749 struct dentry *index;
753 err = ovl_get_index_name_fh(fh, &name);
757 index = lookup_positive_unlocked(name.name, ofs->indexdir, name.len);
760 if (PTR_ERR(index) == -ENOENT)
765 if (ovl_is_whiteout(index))
767 else if (ovl_dentry_weird(index))
776 struct dentry *ovl_lookup_index(struct ovl_fs *ofs, struct dentry *upper,
777 struct dentry *origin, bool verify)
779 struct dentry *index;
782 bool is_dir = d_is_dir(origin);
785 err = ovl_get_index_name(ofs, origin, &name);
789 index = lookup_one_positive_unlocked(ovl_upper_mnt_idmap(ofs), name.name,
790 ofs->indexdir, name.len);
792 err = PTR_ERR(index);
793 if (err == -ENOENT) {
797 pr_warn_ratelimited("failed inode index lookup (ino=%lu, key=%.*s, err=%i);\n"
798 "overlayfs: mount with '-o index=off' to disable inodes index.\n",
799 d_inode(origin)->i_ino, name.len, name.name,
804 inode = d_inode(index);
805 if (ovl_is_whiteout(index) && !verify) {
807 * When index lookup is called with !verify for decoding an
808 * overlay file handle, a whiteout index implies that decode
809 * should treat file handle as stale and no need to print a
813 index = ERR_PTR(-ESTALE);
815 } else if (ovl_dentry_weird(index) || ovl_is_whiteout(index) ||
816 inode_wrong_type(inode, d_inode(origin)->i_mode)) {
818 * Index should always be of the same file type as origin
819 * except for the case of a whiteout index. A whiteout
820 * index should only exist if all lower aliases have been
821 * unlinked, which means that finding a lower origin on lookup
822 * whose index is a whiteout should be treated as an error.
824 pr_warn_ratelimited("bad index found (index=%pd2, ftype=%x, origin ftype=%x).\n",
825 index, d_inode(index)->i_mode & S_IFMT,
826 d_inode(origin)->i_mode & S_IFMT);
828 } else if (is_dir && verify) {
830 pr_warn_ratelimited("suspected uncovered redirected dir found (origin=%pd2, index=%pd2).\n",
835 /* Verify that dir index 'upper' xattr points to upper dir */
836 err = ovl_verify_upper(ofs, index, upper, false);
838 if (err == -ESTALE) {
839 pr_warn_ratelimited("suspected multiply redirected dir found (upper=%pd2, origin=%pd2, index=%pd2).\n",
840 upper, origin, index);
844 } else if (upper && d_inode(upper) != inode) {
858 index = ERR_PTR(-EIO);
863 * Returns next layer in stack starting from top.
864 * Returns -1 if this is the last layer.
866 int ovl_path_next(int idx, struct dentry *dentry, struct path *path)
868 struct ovl_entry *oe = OVL_E(dentry);
869 struct ovl_path *lowerstack = ovl_lowerstack(oe);
873 ovl_path_upper(dentry, path);
875 return ovl_numlower(oe) ? 1 : -1;
878 BUG_ON(idx > ovl_numlower(oe));
879 path->dentry = lowerstack[idx - 1].dentry;
880 path->mnt = lowerstack[idx - 1].layer->mnt;
882 return (idx < ovl_numlower(oe)) ? idx + 1 : -1;
885 /* Fix missing 'origin' xattr */
886 static int ovl_fix_origin(struct ovl_fs *ofs, struct dentry *dentry,
887 struct dentry *lower, struct dentry *upper)
889 const struct ovl_fh *fh;
892 if (ovl_check_origin_xattr(ofs, upper))
895 fh = ovl_get_origin_fh(ofs, lower);
899 err = ovl_want_write(dentry);
903 err = ovl_set_origin_fh(ofs, fh, upper);
905 err = ovl_set_impure(dentry->d_parent, upper->d_parent);
907 ovl_drop_write(dentry);
913 static int ovl_maybe_validate_verity(struct dentry *dentry)
915 struct ovl_fs *ofs = OVL_FS(dentry->d_sb);
916 struct inode *inode = d_inode(dentry);
917 struct path datapath, metapath;
920 if (!ofs->config.verity_mode ||
921 !ovl_is_metacopy_dentry(dentry) ||
922 ovl_test_flag(OVL_VERIFIED_DIGEST, inode))
925 if (!ovl_test_flag(OVL_HAS_DIGEST, inode)) {
926 if (ofs->config.verity_mode == OVL_VERITY_REQUIRE) {
927 pr_warn_ratelimited("metacopy file '%pd' has no digest specified\n",
934 ovl_path_lowerdata(dentry, &datapath);
935 if (!datapath.dentry)
938 ovl_path_real(dentry, &metapath);
939 if (!metapath.dentry)
942 err = ovl_inode_lock_interruptible(inode);
946 if (!ovl_test_flag(OVL_VERIFIED_DIGEST, inode)) {
947 const struct cred *old_cred;
949 old_cred = ovl_override_creds(dentry->d_sb);
951 err = ovl_validate_verity(ofs, &metapath, &datapath);
953 ovl_set_flag(OVL_VERIFIED_DIGEST, inode);
955 revert_creds(old_cred);
958 ovl_inode_unlock(inode);
963 /* Lazy lookup of lowerdata */
964 static int ovl_maybe_lookup_lowerdata(struct dentry *dentry)
966 struct inode *inode = d_inode(dentry);
967 const char *redirect = ovl_lowerdata_redirect(inode);
968 struct ovl_path datapath = {};
969 const struct cred *old_cred;
972 if (!redirect || ovl_dentry_lowerdata(dentry))
975 if (redirect[0] != '/')
978 err = ovl_inode_lock_interruptible(inode);
983 /* Someone got here before us? */
984 if (ovl_dentry_lowerdata(dentry))
987 old_cred = ovl_override_creds(dentry->d_sb);
988 err = ovl_lookup_data_layers(dentry, redirect, &datapath);
989 revert_creds(old_cred);
993 err = ovl_dentry_set_lowerdata(dentry, &datapath);
998 ovl_inode_unlock(inode);
999 dput(datapath.dentry);
1004 pr_warn_ratelimited("lazy lowerdata lookup failed (%pd2, err=%i)\n",
1009 int ovl_verify_lowerdata(struct dentry *dentry)
1013 err = ovl_maybe_lookup_lowerdata(dentry);
1017 return ovl_maybe_validate_verity(dentry);
1020 struct dentry *ovl_lookup(struct inode *dir, struct dentry *dentry,
1023 struct ovl_entry *oe = NULL;
1024 const struct cred *old_cred;
1025 struct ovl_fs *ofs = OVL_FS(dentry->d_sb);
1026 struct ovl_entry *poe = OVL_E(dentry->d_parent);
1027 struct ovl_entry *roe = OVL_E(dentry->d_sb->s_root);
1028 struct ovl_path *stack = NULL, *origin_path = NULL;
1029 struct dentry *upperdir, *upperdentry = NULL;
1030 struct dentry *origin = NULL;
1031 struct dentry *index = NULL;
1032 unsigned int ctr = 0;
1033 struct inode *inode = NULL;
1034 bool upperopaque = false;
1035 char *upperredirect = NULL;
1036 struct dentry *this;
1039 bool uppermetacopy = false;
1040 int metacopy_size = 0;
1041 struct ovl_lookup_data d = {
1043 .name = dentry->d_name,
1047 .last = ovl_redirect_follow(ofs) ? false : !ovl_numlower(poe),
1052 if (dentry->d_name.len > ofs->namelen)
1053 return ERR_PTR(-ENAMETOOLONG);
1055 old_cred = ovl_override_creds(dentry->d_sb);
1056 upperdir = ovl_dentry_upper(dentry->d_parent);
1058 d.mnt = ovl_upper_mnt(ofs);
1059 err = ovl_lookup_layer(upperdir, &d, &upperdentry, true);
1063 if (upperdentry && upperdentry->d_flags & DCACHE_OP_REAL) {
1068 if (upperdentry && !d.is_dir) {
1070 * Lookup copy up origin by decoding origin file handle.
1071 * We may get a disconnected dentry, which is fine,
1072 * because we only need to hold the origin inode in
1073 * cache and use its inode number. We may even get a
1074 * connected dentry, that is not under any of the lower
1075 * layers root. That is also fine for using it's inode
1076 * number - it's the same as if we held a reference
1077 * to a dentry in lower layer that was moved under us.
1079 err = ovl_check_origin(ofs, upperdentry, &origin_path);
1084 uppermetacopy = true;
1085 metacopy_size = d.metacopy;
1090 upperredirect = kstrdup(d.redirect, GFP_KERNEL);
1093 if (d.redirect[0] == '/')
1096 upperopaque = d.opaque;
1099 if (!d.stop && ovl_numlower(poe)) {
1101 stack = ovl_stack_alloc(ofs->numlayer - 1);
1106 for (i = 0; !d.stop && i < ovl_numlower(poe); i++) {
1107 struct ovl_path lower = ovl_lowerstack(poe)[i];
1109 if (!ovl_redirect_follow(ofs))
1110 d.last = i == ovl_numlower(poe) - 1;
1111 else if (d.is_dir || !ofs->numdatalayer)
1112 d.last = lower.layer->idx == ovl_numlower(roe);
1114 d.mnt = lower.layer->mnt;
1115 err = ovl_lookup_layer(lower.dentry, &d, &this, false);
1122 if ((uppermetacopy || d.metacopy) && !ofs->config.metacopy) {
1125 pr_warn_ratelimited("refusing to follow metacopy origin for (%pd2)\n", dentry);
1130 * If no origin fh is stored in upper of a merge dir, store fh
1131 * of lower dir and set upper parent "impure".
1133 if (upperdentry && !ctr && !ofs->noxattr && d.is_dir) {
1134 err = ovl_fix_origin(ofs, dentry, this, upperdentry);
1142 * When "verify_lower" feature is enabled, do not merge with a
1143 * lower dir that does not match a stored origin xattr. In any
1144 * case, only verified origin is used for index lookup.
1146 * For non-dir dentry, if index=on, then ensure origin
1147 * matches the dentry found using path based lookup,
1148 * otherwise error out.
1150 if (upperdentry && !ctr &&
1151 ((d.is_dir && ovl_verify_lower(dentry->d_sb)) ||
1152 (!d.is_dir && ofs->config.index && origin_path))) {
1153 err = ovl_verify_origin(ofs, upperdentry, this, false);
1163 if (!upperdentry && !d.is_dir && !ctr && d.metacopy)
1164 metacopy_size = d.metacopy;
1166 if (d.metacopy && ctr) {
1168 * Do not store intermediate metacopy dentries in
1169 * lower chain, except top most lower metacopy dentry.
1170 * Continue the loop so that if there is an absolute
1171 * redirect on this dentry, poe can be reset to roe.
1176 stack[ctr].dentry = this;
1177 stack[ctr].layer = lower.layer;
1182 * Following redirects can have security consequences: it's like
1183 * a symlink into the lower layer without the permission checks.
1184 * This is only a problem if the upper layer is untrusted (e.g
1185 * comes from an USB drive). This can allow a non-readable file
1186 * or directory to become readable.
1188 * Only following redirects when redirects are enabled disables
1189 * this attack vector when not necessary.
1192 if (d.redirect && !ovl_redirect_follow(ofs)) {
1193 pr_warn_ratelimited("refusing to follow redirect for (%pd2)\n",
1201 if (d.redirect && d.redirect[0] == '/' && poe != roe) {
1203 /* Find the current layer on the root dentry */
1204 i = lower.layer->idx - 1;
1208 /* Defer lookup of lowerdata in data-only layers to first access */
1209 if (d.metacopy && ctr && ofs->numdatalayer && d.absolute_redirect) {
1215 * For regular non-metacopy upper dentries, there is no lower
1216 * path based lookup, hence ctr will be zero. If a dentry is found
1217 * using ORIGIN xattr on upper, install it in stack.
1219 * For metacopy dentry, path based lookup will find lower dentries.
1220 * Just make sure a corresponding data dentry has been found.
1222 if (d.metacopy || (uppermetacopy && !ctr)) {
1223 pr_warn_ratelimited("metacopy with no lower data found - abort lookup (%pd2)\n",
1227 } else if (!d.is_dir && upperdentry && !ctr && origin_path) {
1228 if (WARN_ON(stack != NULL)) {
1232 stack = origin_path;
1234 origin = origin_path->dentry;
1239 * Always lookup index if there is no-upperdentry.
1241 * For the case of upperdentry, we have set origin by now if it
1242 * needed to be set. There are basically three cases.
1244 * For directories, lookup index by lower inode and verify it matches
1245 * upper inode. We only trust dir index if we verified that lower dir
1246 * matches origin, otherwise dir index entries may be inconsistent
1247 * and we ignore them.
1249 * For regular upper, we already set origin if upper had ORIGIN
1250 * xattr. There is no verification though as there is no path
1251 * based dentry lookup in lower in this case.
1253 * For metacopy upper, we set a verified origin already if index
1254 * is enabled and if upper had an ORIGIN xattr.
1257 if (!upperdentry && ctr)
1258 origin = stack[0].dentry;
1260 if (origin && ovl_indexdir(dentry->d_sb) &&
1261 (!d.is_dir || ovl_index_all(dentry->d_sb))) {
1262 index = ovl_lookup_index(ofs, upperdentry, origin, true);
1263 if (IS_ERR(index)) {
1264 err = PTR_ERR(index);
1271 oe = ovl_alloc_entry(ctr);
1276 ovl_stack_cpy(ovl_lowerstack(oe), stack, ctr);
1280 ovl_dentry_set_opaque(dentry);
1283 ovl_dentry_set_upper_alias(dentry);
1285 struct path upperpath = {
1286 .dentry = upperdentry = dget(index),
1287 .mnt = ovl_upper_mnt(ofs),
1291 * It's safe to assign upperredirect here: the previous
1292 * assignment of happens only if upperdentry is non-NULL, and
1293 * this one only if upperdentry is NULL.
1295 upperredirect = ovl_get_redirect_xattr(ofs, &upperpath, 0);
1296 if (IS_ERR(upperredirect)) {
1297 err = PTR_ERR(upperredirect);
1298 upperredirect = NULL;
1301 err = ovl_check_metacopy_xattr(ofs, &upperpath, NULL);
1304 uppermetacopy = err;
1305 metacopy_size = err;
1308 if (upperdentry || ctr) {
1309 struct ovl_inode_params oip = {
1310 .upperdentry = upperdentry,
1313 .redirect = upperredirect,
1316 /* Store lowerdata redirect for lazy lookup */
1317 if (ctr > 1 && !d.is_dir && !stack[ctr - 1].dentry) {
1318 oip.lowerdata_redirect = d.redirect;
1321 inode = ovl_get_inode(dentry->d_sb, &oip);
1322 err = PTR_ERR(inode);
1325 if (upperdentry && !uppermetacopy)
1326 ovl_set_flag(OVL_UPPERDATA, inode);
1328 if (metacopy_size > OVL_METACOPY_MIN_SIZE)
1329 ovl_set_flag(OVL_HAS_DIGEST, inode);
1332 ovl_dentry_init_reval(dentry, upperdentry, OVL_I_E(inode));
1334 revert_creds(old_cred);
1336 dput(origin_path->dentry);
1340 ovl_stack_free(stack, ctr);
1342 return d_splice_alias(inode, dentry);
1348 ovl_stack_free(stack, ctr);
1351 dput(origin_path->dentry);
1355 kfree(upperredirect);
1358 revert_creds(old_cred);
1359 return ERR_PTR(err);
1362 bool ovl_lower_positive(struct dentry *dentry)
1364 struct ovl_entry *poe = OVL_E(dentry->d_parent);
1365 const struct qstr *name = &dentry->d_name;
1366 const struct cred *old_cred;
1368 bool positive = false;
1372 * If dentry is negative, then lower is positive iff this is a
1375 if (!dentry->d_inode)
1376 return ovl_dentry_is_opaque(dentry);
1378 /* Negative upper -> positive lower */
1379 if (!ovl_dentry_upper(dentry))
1382 old_cred = ovl_override_creds(dentry->d_sb);
1383 /* Positive upper -> have to look up lower to see whether it exists */
1384 for (i = 0; !done && !positive && i < ovl_numlower(poe); i++) {
1385 struct dentry *this;
1386 struct ovl_path *parentpath = &ovl_lowerstack(poe)[i];
1388 this = lookup_one_positive_unlocked(
1389 mnt_idmap(parentpath->layer->mnt),
1390 name->name, parentpath->dentry, name->len);
1392 switch (PTR_ERR(this)) {
1399 * Assume something is there, we just couldn't
1406 struct path path = {
1408 .mnt = parentpath->layer->mnt,
1410 positive = !ovl_path_is_whiteout(OVL_FS(dentry->d_sb), &path);
1415 revert_creds(old_cred);