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> 129ee60ce2SAmir Goldstein #include <linux/ctype.h> 13bbb1e54dSMiklos Szeredi #include <linux/namei.h> 14bbb1e54dSMiklos Szeredi #include <linux/xattr.h> 1502b69b28SMiklos Szeredi #include <linux/ratelimit.h> 16a9d01957SAmir Goldstein #include <linux/mount.h> 17a9d01957SAmir Goldstein #include <linux/exportfs.h> 18bbb1e54dSMiklos Szeredi #include "overlayfs.h" 19bbb1e54dSMiklos Szeredi 20e28edc46SMiklos Szeredi struct ovl_lookup_data { 21e28edc46SMiklos Szeredi struct qstr name; 22e28edc46SMiklos Szeredi bool is_dir; 23e28edc46SMiklos Szeredi bool opaque; 24e28edc46SMiklos Szeredi bool stop; 25e28edc46SMiklos Szeredi bool last; 2602b69b28SMiklos Szeredi char *redirect; 27e28edc46SMiklos Szeredi }; 28bbb1e54dSMiklos Szeredi 2902b69b28SMiklos Szeredi static int ovl_check_redirect(struct dentry *dentry, struct ovl_lookup_data *d, 3002b69b28SMiklos Szeredi size_t prelen, const char *post) 3102b69b28SMiklos Szeredi { 3202b69b28SMiklos Szeredi int res; 3302b69b28SMiklos Szeredi char *s, *next, *buf = NULL; 3402b69b28SMiklos Szeredi 3502b69b28SMiklos Szeredi res = vfs_getxattr(dentry, OVL_XATTR_REDIRECT, NULL, 0); 3602b69b28SMiklos Szeredi if (res < 0) { 3702b69b28SMiklos Szeredi if (res == -ENODATA || res == -EOPNOTSUPP) 3802b69b28SMiklos Szeredi return 0; 3902b69b28SMiklos Szeredi goto fail; 4002b69b28SMiklos Szeredi } 410ee931c4SMichal Hocko buf = kzalloc(prelen + res + strlen(post) + 1, GFP_KERNEL); 4202b69b28SMiklos Szeredi if (!buf) 4302b69b28SMiklos Szeredi return -ENOMEM; 4402b69b28SMiklos Szeredi 4502b69b28SMiklos Szeredi if (res == 0) 4602b69b28SMiklos Szeredi goto invalid; 4702b69b28SMiklos Szeredi 4802b69b28SMiklos Szeredi res = vfs_getxattr(dentry, OVL_XATTR_REDIRECT, buf, res); 4902b69b28SMiklos Szeredi if (res < 0) 5002b69b28SMiklos Szeredi goto fail; 5102b69b28SMiklos Szeredi if (res == 0) 5202b69b28SMiklos Szeredi goto invalid; 5302b69b28SMiklos Szeredi if (buf[0] == '/') { 5402b69b28SMiklos Szeredi for (s = buf; *s++ == '/'; s = next) { 5502b69b28SMiklos Szeredi next = strchrnul(s, '/'); 5602b69b28SMiklos Szeredi if (s == next) 5702b69b28SMiklos Szeredi goto invalid; 5802b69b28SMiklos Szeredi } 593ec9b3faSAmir Goldstein /* 603ec9b3faSAmir Goldstein * One of the ancestor path elements in an absolute path 613ec9b3faSAmir Goldstein * lookup in ovl_lookup_layer() could have been opaque and 623ec9b3faSAmir Goldstein * that will stop further lookup in lower layers (d->stop=true) 633ec9b3faSAmir Goldstein * But we have found an absolute redirect in decendant path 643ec9b3faSAmir Goldstein * element and that should force continue lookup in lower 653ec9b3faSAmir Goldstein * layers (reset d->stop). 663ec9b3faSAmir Goldstein */ 673ec9b3faSAmir Goldstein d->stop = false; 6802b69b28SMiklos Szeredi } else { 6902b69b28SMiklos Szeredi if (strchr(buf, '/') != NULL) 7002b69b28SMiklos Szeredi goto invalid; 7102b69b28SMiklos Szeredi 7202b69b28SMiklos Szeredi memmove(buf + prelen, buf, res); 7302b69b28SMiklos Szeredi memcpy(buf, d->name.name, prelen); 7402b69b28SMiklos Szeredi } 7502b69b28SMiklos Szeredi 7602b69b28SMiklos Szeredi strcat(buf, post); 7702b69b28SMiklos Szeredi kfree(d->redirect); 7802b69b28SMiklos Szeredi d->redirect = buf; 7902b69b28SMiklos Szeredi d->name.name = d->redirect; 8002b69b28SMiklos Szeredi d->name.len = strlen(d->redirect); 8102b69b28SMiklos Szeredi 8202b69b28SMiklos Szeredi return 0; 8302b69b28SMiklos Szeredi 8402b69b28SMiklos Szeredi err_free: 8502b69b28SMiklos Szeredi kfree(buf); 8602b69b28SMiklos Szeredi return 0; 8702b69b28SMiklos Szeredi fail: 8802b69b28SMiklos Szeredi pr_warn_ratelimited("overlayfs: failed to get redirect (%i)\n", res); 8902b69b28SMiklos Szeredi goto err_free; 9002b69b28SMiklos Szeredi invalid: 9102b69b28SMiklos Szeredi pr_warn_ratelimited("overlayfs: invalid redirect (%s)\n", buf); 9202b69b28SMiklos Szeredi goto err_free; 9302b69b28SMiklos Szeredi } 9402b69b28SMiklos Szeredi 95a9d01957SAmir Goldstein static int ovl_acceptable(void *ctx, struct dentry *dentry) 96a9d01957SAmir Goldstein { 97e8f9e5b7SAmir Goldstein /* 98e8f9e5b7SAmir Goldstein * A non-dir origin may be disconnected, which is fine, because 99e8f9e5b7SAmir Goldstein * we only need it for its unique inode number. 100e8f9e5b7SAmir Goldstein */ 101e8f9e5b7SAmir Goldstein if (!d_is_dir(dentry)) 102a9d01957SAmir Goldstein return 1; 103e8f9e5b7SAmir Goldstein 104e8f9e5b7SAmir Goldstein /* Don't decode a deleted empty directory */ 105e8f9e5b7SAmir Goldstein if (d_unhashed(dentry)) 106e8f9e5b7SAmir Goldstein return 0; 107e8f9e5b7SAmir Goldstein 108e8f9e5b7SAmir Goldstein /* Check if directory belongs to the layer we are decoding from */ 109e8f9e5b7SAmir Goldstein return is_subdir(dentry, ((struct vfsmount *)ctx)->mnt_root); 110a9d01957SAmir Goldstein } 111a9d01957SAmir Goldstein 1122e1a5328SAmir Goldstein /* 1132e1a5328SAmir Goldstein * Check validity of an overlay file handle buffer. 1142e1a5328SAmir Goldstein * 1152e1a5328SAmir Goldstein * Return 0 for a valid file handle. 1162e1a5328SAmir Goldstein * Return -ENODATA for "origin unknown". 1172e1a5328SAmir Goldstein * Return <0 for an invalid file handle. 1182e1a5328SAmir Goldstein */ 1198556a420SAmir Goldstein int ovl_check_fh_len(struct ovl_fh *fh, int fh_len) 1202e1a5328SAmir Goldstein { 1212e1a5328SAmir Goldstein if (fh_len < sizeof(struct ovl_fh) || fh_len < fh->len) 1222e1a5328SAmir Goldstein return -EINVAL; 1232e1a5328SAmir Goldstein 1242e1a5328SAmir Goldstein if (fh->magic != OVL_FH_MAGIC) 1252e1a5328SAmir Goldstein return -EINVAL; 1262e1a5328SAmir Goldstein 1272e1a5328SAmir Goldstein /* Treat larger version and unknown flags as "origin unknown" */ 1282e1a5328SAmir Goldstein if (fh->version > OVL_FH_VERSION || fh->flags & ~OVL_FH_FLAG_ALL) 1292e1a5328SAmir Goldstein return -ENODATA; 1302e1a5328SAmir Goldstein 1312e1a5328SAmir Goldstein /* Treat endianness mismatch as "origin unknown" */ 1322e1a5328SAmir Goldstein if (!(fh->flags & OVL_FH_FLAG_ANY_ENDIAN) && 1332e1a5328SAmir Goldstein (fh->flags & OVL_FH_FLAG_BIG_ENDIAN) != OVL_FH_FLAG_CPU_ENDIAN) 1342e1a5328SAmir Goldstein return -ENODATA; 1352e1a5328SAmir Goldstein 1362e1a5328SAmir Goldstein return 0; 1372e1a5328SAmir Goldstein } 1382e1a5328SAmir Goldstein 13905122443SAmir Goldstein static struct ovl_fh *ovl_get_fh(struct dentry *dentry, const char *name) 140a9d01957SAmir Goldstein { 1412e1a5328SAmir Goldstein int res, err; 142a9d01957SAmir Goldstein struct ovl_fh *fh = NULL; 143a9d01957SAmir Goldstein 14405122443SAmir Goldstein res = vfs_getxattr(dentry, name, NULL, 0); 145a9d01957SAmir Goldstein if (res < 0) { 146a9d01957SAmir Goldstein if (res == -ENODATA || res == -EOPNOTSUPP) 147a9d01957SAmir Goldstein return NULL; 148a9d01957SAmir Goldstein goto fail; 149a9d01957SAmir Goldstein } 150a9d01957SAmir Goldstein /* Zero size value means "copied up but origin unknown" */ 151a9d01957SAmir Goldstein if (res == 0) 152a9d01957SAmir Goldstein return NULL; 153a9d01957SAmir Goldstein 1540ee931c4SMichal Hocko fh = kzalloc(res, GFP_KERNEL); 155a9d01957SAmir Goldstein if (!fh) 156a9d01957SAmir Goldstein return ERR_PTR(-ENOMEM); 157a9d01957SAmir Goldstein 15805122443SAmir Goldstein res = vfs_getxattr(dentry, name, fh, res); 159a9d01957SAmir Goldstein if (res < 0) 160a9d01957SAmir Goldstein goto fail; 161a9d01957SAmir Goldstein 1622e1a5328SAmir Goldstein err = ovl_check_fh_len(fh, res); 1632e1a5328SAmir Goldstein if (err < 0) { 1642e1a5328SAmir Goldstein if (err == -ENODATA) 165a9d01957SAmir Goldstein goto out; 1662e1a5328SAmir Goldstein goto invalid; 1672e1a5328SAmir Goldstein } 168a9d01957SAmir Goldstein 1698b88a2e6SAmir Goldstein return fh; 1708b88a2e6SAmir Goldstein 1718b88a2e6SAmir Goldstein out: 1728b88a2e6SAmir Goldstein kfree(fh); 1738b88a2e6SAmir Goldstein return NULL; 1748b88a2e6SAmir Goldstein 1758b88a2e6SAmir Goldstein fail: 1768b88a2e6SAmir Goldstein pr_warn_ratelimited("overlayfs: failed to get origin (%i)\n", res); 1778b88a2e6SAmir Goldstein goto out; 1788b88a2e6SAmir Goldstein invalid: 1798b88a2e6SAmir Goldstein pr_warn_ratelimited("overlayfs: invalid origin (%*phN)\n", res, fh); 1808b88a2e6SAmir Goldstein goto out; 1818b88a2e6SAmir Goldstein } 1828b88a2e6SAmir Goldstein 1838a22efa1SAmir Goldstein struct dentry *ovl_decode_real_fh(struct ovl_fh *fh, struct vfsmount *mnt, 1848a22efa1SAmir Goldstein bool connected) 1858b88a2e6SAmir Goldstein { 186e8f9e5b7SAmir Goldstein struct dentry *real; 1878b88a2e6SAmir Goldstein int bytes; 1888b88a2e6SAmir Goldstein 189a9d01957SAmir Goldstein /* 190a9d01957SAmir Goldstein * Make sure that the stored uuid matches the uuid of the lower 191a9d01957SAmir Goldstein * layer where file handle will be decoded. 192a9d01957SAmir Goldstein */ 19385787090SChristoph Hellwig if (!uuid_equal(&fh->uuid, &mnt->mnt_sb->s_uuid)) 1942e1a5328SAmir Goldstein return NULL; 195a9d01957SAmir Goldstein 1968b88a2e6SAmir Goldstein bytes = (fh->len - offsetof(struct ovl_fh, fid)); 197e8f9e5b7SAmir Goldstein real = exportfs_decode_fh(mnt, (struct fid *)fh->fid, 198a9d01957SAmir Goldstein bytes >> 2, (int)fh->type, 1998a22efa1SAmir Goldstein connected ? ovl_acceptable : NULL, mnt); 200e8f9e5b7SAmir Goldstein if (IS_ERR(real)) { 201e8f9e5b7SAmir Goldstein /* 202e8f9e5b7SAmir Goldstein * Treat stale file handle to lower file as "origin unknown". 203e8f9e5b7SAmir Goldstein * upper file handle could become stale when upper file is 204e8f9e5b7SAmir Goldstein * unlinked and this information is needed to handle stale 205e8f9e5b7SAmir Goldstein * index entries correctly. 206e8f9e5b7SAmir Goldstein */ 207e8f9e5b7SAmir Goldstein if (real == ERR_PTR(-ESTALE) && 208e8f9e5b7SAmir Goldstein !(fh->flags & OVL_FH_FLAG_PATH_UPPER)) 209e8f9e5b7SAmir Goldstein real = NULL; 210e8f9e5b7SAmir Goldstein return real; 211a9d01957SAmir Goldstein } 212a9d01957SAmir Goldstein 213e8f9e5b7SAmir Goldstein if (ovl_dentry_weird(real)) { 214e8f9e5b7SAmir Goldstein dput(real); 2152e1a5328SAmir Goldstein return NULL; 2162e1a5328SAmir Goldstein } 2172e1a5328SAmir Goldstein 218e8f9e5b7SAmir Goldstein return real; 219a9d01957SAmir Goldstein } 220a9d01957SAmir Goldstein 221ee1d6d37SAmir Goldstein static bool ovl_is_opaquedir(struct dentry *dentry) 222ee1d6d37SAmir Goldstein { 223ee1d6d37SAmir Goldstein return ovl_check_dir_xattr(dentry, OVL_XATTR_OPAQUE); 224ee1d6d37SAmir Goldstein } 225ee1d6d37SAmir Goldstein 226e28edc46SMiklos Szeredi static int ovl_lookup_single(struct dentry *base, struct ovl_lookup_data *d, 227e28edc46SMiklos Szeredi const char *name, unsigned int namelen, 22802b69b28SMiklos Szeredi size_t prelen, const char *post, 229e28edc46SMiklos Szeredi struct dentry **ret) 230e28edc46SMiklos Szeredi { 231e28edc46SMiklos Szeredi struct dentry *this; 232e28edc46SMiklos Szeredi int err; 233102b0d11SVivek Goyal bool last_element = !post[0]; 234e28edc46SMiklos Szeredi 235e28edc46SMiklos Szeredi this = lookup_one_len_unlocked(name, base, namelen); 236e28edc46SMiklos Szeredi if (IS_ERR(this)) { 237e28edc46SMiklos Szeredi err = PTR_ERR(this); 238e28edc46SMiklos Szeredi this = NULL; 239e28edc46SMiklos Szeredi if (err == -ENOENT || err == -ENAMETOOLONG) 240e28edc46SMiklos Szeredi goto out; 241e28edc46SMiklos Szeredi goto out_err; 242e28edc46SMiklos Szeredi } 243e28edc46SMiklos Szeredi if (!this->d_inode) 244e28edc46SMiklos Szeredi goto put_and_out; 245e28edc46SMiklos Szeredi 246e28edc46SMiklos Szeredi if (ovl_dentry_weird(this)) { 247e28edc46SMiklos Szeredi /* Don't support traversing automounts and other weirdness */ 248e28edc46SMiklos Szeredi err = -EREMOTE; 249e28edc46SMiklos Szeredi goto out_err; 250e28edc46SMiklos Szeredi } 251e28edc46SMiklos Szeredi if (ovl_is_whiteout(this)) { 252e28edc46SMiklos Szeredi d->stop = d->opaque = true; 253e28edc46SMiklos Szeredi goto put_and_out; 254e28edc46SMiklos Szeredi } 255e28edc46SMiklos Szeredi if (!d_can_lookup(this)) { 256e28edc46SMiklos Szeredi d->stop = true; 257e28edc46SMiklos Szeredi if (d->is_dir) 258e28edc46SMiklos Szeredi goto put_and_out; 2593a291774SMiklos Szeredi 2603a291774SMiklos Szeredi /* 2613a291774SMiklos Szeredi * NB: handle failure to lookup non-last element when non-dir 2623a291774SMiklos Szeredi * redirects become possible 2633a291774SMiklos Szeredi */ 2643a291774SMiklos Szeredi WARN_ON(!last_element); 265e28edc46SMiklos Szeredi goto out; 266e28edc46SMiklos Szeredi } 267102b0d11SVivek Goyal if (last_element) 268e28edc46SMiklos Szeredi d->is_dir = true; 269e9b77f90SVivek Goyal if (d->last) 270e9b77f90SVivek Goyal goto out; 271e9b77f90SVivek Goyal 272e9b77f90SVivek Goyal if (ovl_is_opaquedir(this)) { 273102b0d11SVivek Goyal d->stop = true; 274102b0d11SVivek Goyal if (last_element) 275102b0d11SVivek Goyal d->opaque = true; 276e28edc46SMiklos Szeredi goto out; 277e28edc46SMiklos Szeredi } 27802b69b28SMiklos Szeredi err = ovl_check_redirect(this, d, prelen, post); 27902b69b28SMiklos Szeredi if (err) 28002b69b28SMiklos Szeredi goto out_err; 281e28edc46SMiklos Szeredi out: 282e28edc46SMiklos Szeredi *ret = this; 283e28edc46SMiklos Szeredi return 0; 284e28edc46SMiklos Szeredi 285e28edc46SMiklos Szeredi put_and_out: 286e28edc46SMiklos Szeredi dput(this); 287e28edc46SMiklos Szeredi this = NULL; 288e28edc46SMiklos Szeredi goto out; 289e28edc46SMiklos Szeredi 290e28edc46SMiklos Szeredi out_err: 291e28edc46SMiklos Szeredi dput(this); 292e28edc46SMiklos Szeredi return err; 293e28edc46SMiklos Szeredi } 294e28edc46SMiklos Szeredi 295e28edc46SMiklos Szeredi static int ovl_lookup_layer(struct dentry *base, struct ovl_lookup_data *d, 296e28edc46SMiklos Szeredi struct dentry **ret) 297e28edc46SMiklos Szeredi { 2984c7d0c9cSAmir Goldstein /* Counting down from the end, since the prefix can change */ 2994c7d0c9cSAmir Goldstein size_t rem = d->name.len - 1; 30002b69b28SMiklos Szeredi struct dentry *dentry = NULL; 30102b69b28SMiklos Szeredi int err; 30202b69b28SMiklos Szeredi 3034c7d0c9cSAmir Goldstein if (d->name.name[0] != '/') 30402b69b28SMiklos Szeredi return ovl_lookup_single(base, d, d->name.name, d->name.len, 30502b69b28SMiklos Szeredi 0, "", ret); 30602b69b28SMiklos Szeredi 3074c7d0c9cSAmir Goldstein while (!IS_ERR_OR_NULL(base) && d_can_lookup(base)) { 3084c7d0c9cSAmir Goldstein const char *s = d->name.name + d->name.len - rem; 30902b69b28SMiklos Szeredi const char *next = strchrnul(s, '/'); 3104c7d0c9cSAmir Goldstein size_t thislen = next - s; 3114c7d0c9cSAmir Goldstein bool end = !next[0]; 31202b69b28SMiklos Szeredi 3134c7d0c9cSAmir Goldstein /* Verify we did not go off the rails */ 3144c7d0c9cSAmir Goldstein if (WARN_ON(s[-1] != '/')) 31502b69b28SMiklos Szeredi return -EIO; 31602b69b28SMiklos Szeredi 3174c7d0c9cSAmir Goldstein err = ovl_lookup_single(base, d, s, thislen, 3184c7d0c9cSAmir Goldstein d->name.len - rem, next, &base); 31902b69b28SMiklos Szeredi dput(dentry); 32002b69b28SMiklos Szeredi if (err) 32102b69b28SMiklos Szeredi return err; 32202b69b28SMiklos Szeredi dentry = base; 3234c7d0c9cSAmir Goldstein if (end) 3244c7d0c9cSAmir Goldstein break; 3254c7d0c9cSAmir Goldstein 3264c7d0c9cSAmir Goldstein rem -= thislen + 1; 3274c7d0c9cSAmir Goldstein 3284c7d0c9cSAmir Goldstein if (WARN_ON(rem >= d->name.len)) 3294c7d0c9cSAmir Goldstein return -EIO; 33002b69b28SMiklos Szeredi } 33102b69b28SMiklos Szeredi *ret = dentry; 33202b69b28SMiklos Szeredi return 0; 333e28edc46SMiklos Szeredi } 334e28edc46SMiklos Szeredi 335a9d01957SAmir Goldstein 3368a22efa1SAmir Goldstein int ovl_check_origin_fh(struct ovl_fs *ofs, struct ovl_fh *fh, bool connected, 337f941866fSAmir Goldstein struct dentry *upperdentry, struct ovl_path **stackp) 338a9d01957SAmir Goldstein { 339f7d3dacaSAmir Goldstein struct dentry *origin = NULL; 340f7d3dacaSAmir Goldstein int i; 341a9d01957SAmir Goldstein 3421eff1a1dSAmir Goldstein for (i = 0; i < ofs->numlower; i++) { 3438a22efa1SAmir Goldstein origin = ovl_decode_real_fh(fh, ofs->lower_layers[i].mnt, 3448a22efa1SAmir Goldstein connected); 345f7d3dacaSAmir Goldstein if (origin) 346f7d3dacaSAmir Goldstein break; 347f7d3dacaSAmir Goldstein } 348f7d3dacaSAmir Goldstein 349f7d3dacaSAmir Goldstein if (!origin) 3502e1a5328SAmir Goldstein return -ESTALE; 3512e1a5328SAmir Goldstein else if (IS_ERR(origin)) 3522e1a5328SAmir Goldstein return PTR_ERR(origin); 353f7d3dacaSAmir Goldstein 354f941866fSAmir Goldstein if (upperdentry && !ovl_is_whiteout(upperdentry) && 3552e1a5328SAmir Goldstein ((d_inode(origin)->i_mode ^ d_inode(upperdentry)->i_mode) & S_IFMT)) 3562e1a5328SAmir Goldstein goto invalid; 3572e1a5328SAmir Goldstein 358415543d5SAmir Goldstein if (!*stackp) 359b9343632SChandan Rajendra *stackp = kmalloc(sizeof(struct ovl_path), GFP_KERNEL); 360a9d01957SAmir Goldstein if (!*stackp) { 361a9d01957SAmir Goldstein dput(origin); 362a9d01957SAmir Goldstein return -ENOMEM; 363a9d01957SAmir Goldstein } 3641eff1a1dSAmir Goldstein **stackp = (struct ovl_path){ 3651eff1a1dSAmir Goldstein .dentry = origin, 3661eff1a1dSAmir Goldstein .layer = &ofs->lower_layers[i] 3671eff1a1dSAmir Goldstein }; 368a9d01957SAmir Goldstein 369a9d01957SAmir Goldstein return 0; 3702e1a5328SAmir Goldstein 3712e1a5328SAmir Goldstein invalid: 3722e1a5328SAmir Goldstein pr_warn_ratelimited("overlayfs: invalid origin (%pd2, ftype=%x, origin ftype=%x).\n", 3732e1a5328SAmir Goldstein upperdentry, d_inode(upperdentry)->i_mode & S_IFMT, 3742e1a5328SAmir Goldstein d_inode(origin)->i_mode & S_IFMT); 3752e1a5328SAmir Goldstein dput(origin); 3762e1a5328SAmir Goldstein return -EIO; 3772e1a5328SAmir Goldstein } 3782e1a5328SAmir Goldstein 3791eff1a1dSAmir Goldstein static int ovl_check_origin(struct ovl_fs *ofs, struct dentry *upperdentry, 3802e1a5328SAmir Goldstein struct ovl_path **stackp, unsigned int *ctrp) 3812e1a5328SAmir Goldstein { 38205122443SAmir Goldstein struct ovl_fh *fh = ovl_get_fh(upperdentry, OVL_XATTR_ORIGIN); 3832e1a5328SAmir Goldstein int err; 3842e1a5328SAmir Goldstein 3852e1a5328SAmir Goldstein if (IS_ERR_OR_NULL(fh)) 3862e1a5328SAmir Goldstein return PTR_ERR(fh); 3872e1a5328SAmir Goldstein 3888a22efa1SAmir Goldstein err = ovl_check_origin_fh(ofs, fh, false, upperdentry, stackp); 3892e1a5328SAmir Goldstein kfree(fh); 3902e1a5328SAmir Goldstein 3912e1a5328SAmir Goldstein if (err) { 3922e1a5328SAmir Goldstein if (err == -ESTALE) 3932e1a5328SAmir Goldstein return 0; 3942e1a5328SAmir Goldstein return err; 3952e1a5328SAmir Goldstein } 3962e1a5328SAmir Goldstein 3972e1a5328SAmir Goldstein if (WARN_ON(*ctrp)) 3982e1a5328SAmir Goldstein return -EIO; 3992e1a5328SAmir Goldstein 4002e1a5328SAmir Goldstein *ctrp = 1; 4012e1a5328SAmir Goldstein return 0; 402a9d01957SAmir Goldstein } 403a9d01957SAmir Goldstein 404bbb1e54dSMiklos Szeredi /* 40505122443SAmir Goldstein * Verify that @fh matches the file handle stored in xattr @name. 4068b88a2e6SAmir Goldstein * Return 0 on match, -ESTALE on mismatch, < 0 on error. 4078b88a2e6SAmir Goldstein */ 40805122443SAmir Goldstein static int ovl_verify_fh(struct dentry *dentry, const char *name, 40905122443SAmir Goldstein const struct ovl_fh *fh) 4108b88a2e6SAmir Goldstein { 41105122443SAmir Goldstein struct ovl_fh *ofh = ovl_get_fh(dentry, name); 4128b88a2e6SAmir Goldstein int err = 0; 4138b88a2e6SAmir Goldstein 4148b88a2e6SAmir Goldstein if (!ofh) 4158b88a2e6SAmir Goldstein return -ENODATA; 4168b88a2e6SAmir Goldstein 4178b88a2e6SAmir Goldstein if (IS_ERR(ofh)) 4188b88a2e6SAmir Goldstein return PTR_ERR(ofh); 4198b88a2e6SAmir Goldstein 4208b88a2e6SAmir Goldstein if (fh->len != ofh->len || memcmp(fh, ofh, fh->len)) 4218b88a2e6SAmir Goldstein err = -ESTALE; 4228b88a2e6SAmir Goldstein 4238b88a2e6SAmir Goldstein kfree(ofh); 4248b88a2e6SAmir Goldstein return err; 4258b88a2e6SAmir Goldstein } 4268b88a2e6SAmir Goldstein 4278b88a2e6SAmir Goldstein /* 42805122443SAmir Goldstein * Verify that @real dentry matches the file handle stored in xattr @name. 4298b88a2e6SAmir Goldstein * 43005122443SAmir Goldstein * If @set is true and there is no stored file handle, encode @real and store 43105122443SAmir Goldstein * file handle in xattr @name. 4328b88a2e6SAmir Goldstein * 43305122443SAmir Goldstein * Return 0 on match, -ESTALE on mismatch, -ENODATA on no xattr, < 0 on error. 4348b88a2e6SAmir Goldstein */ 43505122443SAmir Goldstein int ovl_verify_set_fh(struct dentry *dentry, const char *name, 43605122443SAmir Goldstein struct dentry *real, bool is_upper, bool set) 4378b88a2e6SAmir Goldstein { 4388b88a2e6SAmir Goldstein struct inode *inode; 4398b88a2e6SAmir Goldstein struct ovl_fh *fh; 4408b88a2e6SAmir Goldstein int err; 4418b88a2e6SAmir Goldstein 4425b2cccd3SAmir Goldstein fh = ovl_encode_real_fh(real, is_upper); 4438b88a2e6SAmir Goldstein err = PTR_ERR(fh); 4448b88a2e6SAmir Goldstein if (IS_ERR(fh)) 4458b88a2e6SAmir Goldstein goto fail; 4468b88a2e6SAmir Goldstein 44705122443SAmir Goldstein err = ovl_verify_fh(dentry, name, fh); 4488b88a2e6SAmir Goldstein if (set && err == -ENODATA) 44905122443SAmir Goldstein err = ovl_do_setxattr(dentry, name, fh, fh->len, 0); 4508b88a2e6SAmir Goldstein if (err) 4518b88a2e6SAmir Goldstein goto fail; 4528b88a2e6SAmir Goldstein 4538b88a2e6SAmir Goldstein out: 4548b88a2e6SAmir Goldstein kfree(fh); 4558b88a2e6SAmir Goldstein return err; 4568b88a2e6SAmir Goldstein 4578b88a2e6SAmir Goldstein fail: 45805122443SAmir Goldstein inode = d_inode(real); 45905122443SAmir Goldstein pr_warn_ratelimited("overlayfs: failed to verify %s (%pd2, ino=%lu, err=%i)\n", 46005122443SAmir Goldstein is_upper ? "upper" : "origin", real, 46105122443SAmir Goldstein inode ? inode->i_ino : 0, err); 4628b88a2e6SAmir Goldstein goto out; 4638b88a2e6SAmir Goldstein } 4648b88a2e6SAmir Goldstein 465e8f9e5b7SAmir Goldstein /* Get upper dentry from index */ 4663b0bfc6eSAmir Goldstein struct dentry *ovl_index_upper(struct ovl_fs *ofs, struct dentry *index) 467e8f9e5b7SAmir Goldstein { 468e8f9e5b7SAmir Goldstein struct ovl_fh *fh; 469e8f9e5b7SAmir Goldstein struct dentry *upper; 470e8f9e5b7SAmir Goldstein 471e8f9e5b7SAmir Goldstein if (!d_is_dir(index)) 472e8f9e5b7SAmir Goldstein return dget(index); 473e8f9e5b7SAmir Goldstein 474e8f9e5b7SAmir Goldstein fh = ovl_get_fh(index, OVL_XATTR_UPPER); 475e8f9e5b7SAmir Goldstein if (IS_ERR_OR_NULL(fh)) 476e8f9e5b7SAmir Goldstein return ERR_CAST(fh); 477e8f9e5b7SAmir Goldstein 4788a22efa1SAmir Goldstein upper = ovl_decode_real_fh(fh, ofs->upper_mnt, true); 479e8f9e5b7SAmir Goldstein kfree(fh); 480e8f9e5b7SAmir Goldstein 481e8f9e5b7SAmir Goldstein if (IS_ERR_OR_NULL(upper)) 482e8f9e5b7SAmir Goldstein return upper ?: ERR_PTR(-ESTALE); 483e8f9e5b7SAmir Goldstein 484e8f9e5b7SAmir Goldstein if (!d_is_dir(upper)) { 485e8f9e5b7SAmir Goldstein pr_warn_ratelimited("overlayfs: invalid index upper (%pd2, upper=%pd2).\n", 486e8f9e5b7SAmir Goldstein index, upper); 487e8f9e5b7SAmir Goldstein dput(upper); 488e8f9e5b7SAmir Goldstein return ERR_PTR(-EIO); 489e8f9e5b7SAmir Goldstein } 490e8f9e5b7SAmir Goldstein 491e8f9e5b7SAmir Goldstein return upper; 492e8f9e5b7SAmir Goldstein } 493e8f9e5b7SAmir Goldstein 4949ee60ce2SAmir Goldstein /* Is this a leftover from create/whiteout of directory index entry? */ 4959ee60ce2SAmir Goldstein static bool ovl_is_temp_index(struct dentry *index) 4969ee60ce2SAmir Goldstein { 4979ee60ce2SAmir Goldstein return index->d_name.name[0] == '#'; 4989ee60ce2SAmir Goldstein } 4999ee60ce2SAmir Goldstein 5008b88a2e6SAmir Goldstein /* 501415543d5SAmir Goldstein * Verify that an index entry name matches the origin file handle stored in 502415543d5SAmir Goldstein * OVL_XATTR_ORIGIN and that origin file handle can be decoded to lower path. 503415543d5SAmir Goldstein * Return 0 on match, -ESTALE on mismatch or stale origin, < 0 on error. 504415543d5SAmir Goldstein */ 5051eff1a1dSAmir Goldstein int ovl_verify_index(struct ovl_fs *ofs, struct dentry *index) 506415543d5SAmir Goldstein { 507415543d5SAmir Goldstein struct ovl_fh *fh = NULL; 508415543d5SAmir Goldstein size_t len; 509b9343632SChandan Rajendra struct ovl_path origin = { }; 510b9343632SChandan Rajendra struct ovl_path *stack = &origin; 511e8f9e5b7SAmir Goldstein struct dentry *upper = NULL; 512415543d5SAmir Goldstein int err; 513415543d5SAmir Goldstein 514415543d5SAmir Goldstein if (!d_inode(index)) 515415543d5SAmir Goldstein return 0; 516415543d5SAmir Goldstein 5179ee60ce2SAmir Goldstein /* Cleanup leftover from index create/cleanup attempt */ 5189ee60ce2SAmir Goldstein err = -ESTALE; 5199ee60ce2SAmir Goldstein if (ovl_is_temp_index(index)) 5209ee60ce2SAmir Goldstein goto fail; 5219ee60ce2SAmir Goldstein 522fa0096e3SAmir Goldstein err = -EINVAL; 523415543d5SAmir Goldstein if (index->d_name.len < sizeof(struct ovl_fh)*2) 524415543d5SAmir Goldstein goto fail; 525415543d5SAmir Goldstein 526415543d5SAmir Goldstein err = -ENOMEM; 527415543d5SAmir Goldstein len = index->d_name.len / 2; 5280ee931c4SMichal Hocko fh = kzalloc(len, GFP_KERNEL); 529415543d5SAmir Goldstein if (!fh) 530415543d5SAmir Goldstein goto fail; 531415543d5SAmir Goldstein 532415543d5SAmir Goldstein err = -EINVAL; 5332e1a5328SAmir Goldstein if (hex2bin((u8 *)fh, index->d_name.name, len)) 5342e1a5328SAmir Goldstein goto fail; 5352e1a5328SAmir Goldstein 5362e1a5328SAmir Goldstein err = ovl_check_fh_len(fh, len); 5372e1a5328SAmir Goldstein if (err) 538415543d5SAmir Goldstein goto fail; 539415543d5SAmir Goldstein 5407db25d36SAmir Goldstein /* 5417db25d36SAmir Goldstein * Whiteout index entries are used as an indication that an exported 5427db25d36SAmir Goldstein * overlay file handle should be treated as stale (i.e. after unlink 5437db25d36SAmir Goldstein * of the overlay inode). These entries contain no origin xattr. 5447db25d36SAmir Goldstein */ 5457db25d36SAmir Goldstein if (ovl_is_whiteout(index)) 5467db25d36SAmir Goldstein goto out; 5477db25d36SAmir Goldstein 548e8f9e5b7SAmir Goldstein /* 549e8f9e5b7SAmir Goldstein * Verifying directory index entries are not stale is expensive, so 550e8f9e5b7SAmir Goldstein * only verify stale dir index if NFS export is enabled. 551e8f9e5b7SAmir Goldstein */ 552e8f9e5b7SAmir Goldstein if (d_is_dir(index) && !ofs->config.nfs_export) 553e8f9e5b7SAmir Goldstein goto out; 554e8f9e5b7SAmir Goldstein 555e8f9e5b7SAmir Goldstein /* 556e8f9e5b7SAmir Goldstein * Directory index entries should have 'upper' xattr pointing to the 557e8f9e5b7SAmir Goldstein * real upper dir. Non-dir index entries are hardlinks to the upper 558e8f9e5b7SAmir Goldstein * real inode. For non-dir index, we can read the copy up origin xattr 559e8f9e5b7SAmir Goldstein * directly from the index dentry, but for dir index we first need to 560e8f9e5b7SAmir Goldstein * decode the upper directory. 561e8f9e5b7SAmir Goldstein */ 562e8f9e5b7SAmir Goldstein upper = ovl_index_upper(ofs, index); 563e8f9e5b7SAmir Goldstein if (IS_ERR_OR_NULL(upper)) { 564e8f9e5b7SAmir Goldstein err = PTR_ERR(upper); 56524f0b172SAmir Goldstein /* 56624f0b172SAmir Goldstein * Directory index entries with no 'upper' xattr need to be 56724f0b172SAmir Goldstein * removed. When dir index entry has a stale 'upper' xattr, 56824f0b172SAmir Goldstein * we assume that upper dir was removed and we treat the dir 56924f0b172SAmir Goldstein * index as orphan entry that needs to be whited out. 57024f0b172SAmir Goldstein */ 57124f0b172SAmir Goldstein if (err == -ESTALE) 57224f0b172SAmir Goldstein goto orphan; 57324f0b172SAmir Goldstein else if (!err) 574e8f9e5b7SAmir Goldstein err = -ESTALE; 575e8f9e5b7SAmir Goldstein goto fail; 576e8f9e5b7SAmir Goldstein } 577e8f9e5b7SAmir Goldstein 578e8f9e5b7SAmir Goldstein err = ovl_verify_fh(upper, OVL_XATTR_ORIGIN, fh); 579e8f9e5b7SAmir Goldstein dput(upper); 580415543d5SAmir Goldstein if (err) 581415543d5SAmir Goldstein goto fail; 582415543d5SAmir Goldstein 583e8f9e5b7SAmir Goldstein /* Check if non-dir index is orphan and don't warn before cleaning it */ 584e8f9e5b7SAmir Goldstein if (!d_is_dir(index) && d_inode(index)->i_nlink == 1) { 5858a22efa1SAmir Goldstein err = ovl_check_origin_fh(ofs, fh, false, index, &stack); 586415543d5SAmir Goldstein if (err) 587415543d5SAmir Goldstein goto fail; 588415543d5SAmir Goldstein 589e8f9e5b7SAmir Goldstein if (ovl_get_nlink(origin.dentry, index, 0) == 0) 59024f0b172SAmir Goldstein goto orphan; 591e8f9e5b7SAmir Goldstein } 592caf70cb2SAmir Goldstein 593415543d5SAmir Goldstein out: 594e8f9e5b7SAmir Goldstein dput(origin.dentry); 595415543d5SAmir Goldstein kfree(fh); 596415543d5SAmir Goldstein return err; 597415543d5SAmir Goldstein 598415543d5SAmir Goldstein fail: 59961b67471SAmir Goldstein pr_warn_ratelimited("overlayfs: failed to verify index (%pd2, ftype=%x, err=%i)\n", 60061b67471SAmir Goldstein index, d_inode(index)->i_mode & S_IFMT, err); 601415543d5SAmir Goldstein goto out; 60224f0b172SAmir Goldstein 60324f0b172SAmir Goldstein orphan: 60424f0b172SAmir Goldstein pr_warn_ratelimited("overlayfs: orphan index entry (%pd2, ftype=%x, nlink=%u)\n", 60524f0b172SAmir Goldstein index, d_inode(index)->i_mode & S_IFMT, 60624f0b172SAmir Goldstein d_inode(index)->i_nlink); 60724f0b172SAmir Goldstein err = -ENOENT; 60824f0b172SAmir Goldstein goto out; 609415543d5SAmir Goldstein } 610415543d5SAmir Goldstein 61191ffe7beSAmir Goldstein static int ovl_get_index_name_fh(struct ovl_fh *fh, struct qstr *name) 61291ffe7beSAmir Goldstein { 61391ffe7beSAmir Goldstein char *n, *s; 61491ffe7beSAmir Goldstein 6156396bb22SKees Cook n = kcalloc(fh->len, 2, GFP_KERNEL); 61691ffe7beSAmir Goldstein if (!n) 61791ffe7beSAmir Goldstein return -ENOMEM; 61891ffe7beSAmir Goldstein 61991ffe7beSAmir Goldstein s = bin2hex(n, fh, fh->len); 62091ffe7beSAmir Goldstein *name = (struct qstr) QSTR_INIT(n, s - n); 62191ffe7beSAmir Goldstein 62291ffe7beSAmir Goldstein return 0; 62391ffe7beSAmir Goldstein 62491ffe7beSAmir Goldstein } 62591ffe7beSAmir Goldstein 626415543d5SAmir Goldstein /* 627359f392cSAmir Goldstein * Lookup in indexdir for the index entry of a lower real inode or a copy up 628359f392cSAmir Goldstein * origin inode. The index entry name is the hex representation of the lower 629359f392cSAmir Goldstein * inode file handle. 630359f392cSAmir Goldstein * 631359f392cSAmir Goldstein * If the index dentry in negative, then either no lower aliases have been 632359f392cSAmir Goldstein * copied up yet, or aliases have been copied up in older kernels and are 633359f392cSAmir Goldstein * not indexed. 634359f392cSAmir Goldstein * 635359f392cSAmir Goldstein * If the index dentry for a copy up origin inode is positive, but points 636359f392cSAmir Goldstein * to an inode different than the upper inode, then either the upper inode 637359f392cSAmir Goldstein * has been copied up and not indexed or it was indexed, but since then 638359f392cSAmir Goldstein * index dir was cleared. Either way, that index cannot be used to indentify 639359f392cSAmir Goldstein * the overlay inode. 640359f392cSAmir Goldstein */ 641359f392cSAmir Goldstein int ovl_get_index_name(struct dentry *origin, struct qstr *name) 642359f392cSAmir Goldstein { 643359f392cSAmir Goldstein struct ovl_fh *fh; 64491ffe7beSAmir Goldstein int err; 645359f392cSAmir Goldstein 6465b2cccd3SAmir Goldstein fh = ovl_encode_real_fh(origin, false); 647359f392cSAmir Goldstein if (IS_ERR(fh)) 648359f392cSAmir Goldstein return PTR_ERR(fh); 649359f392cSAmir Goldstein 65091ffe7beSAmir Goldstein err = ovl_get_index_name_fh(fh, name); 65191ffe7beSAmir Goldstein 652359f392cSAmir Goldstein kfree(fh); 653359f392cSAmir Goldstein return err; 65491ffe7beSAmir Goldstein } 655359f392cSAmir Goldstein 65691ffe7beSAmir Goldstein /* Lookup index by file handle for NFS export */ 65791ffe7beSAmir Goldstein struct dentry *ovl_get_index_fh(struct ovl_fs *ofs, struct ovl_fh *fh) 65891ffe7beSAmir Goldstein { 65991ffe7beSAmir Goldstein struct dentry *index; 66091ffe7beSAmir Goldstein struct qstr name; 66191ffe7beSAmir Goldstein int err; 66291ffe7beSAmir Goldstein 66391ffe7beSAmir Goldstein err = ovl_get_index_name_fh(fh, &name); 66491ffe7beSAmir Goldstein if (err) 66591ffe7beSAmir Goldstein return ERR_PTR(err); 66691ffe7beSAmir Goldstein 66791ffe7beSAmir Goldstein index = lookup_one_len_unlocked(name.name, ofs->indexdir, name.len); 66891ffe7beSAmir Goldstein kfree(name.name); 66991ffe7beSAmir Goldstein if (IS_ERR(index)) { 67091ffe7beSAmir Goldstein if (PTR_ERR(index) == -ENOENT) 67191ffe7beSAmir Goldstein index = NULL; 67291ffe7beSAmir Goldstein return index; 67391ffe7beSAmir Goldstein } 67491ffe7beSAmir Goldstein 67591ffe7beSAmir Goldstein if (d_is_negative(index)) 67691ffe7beSAmir Goldstein err = 0; 67791ffe7beSAmir Goldstein else if (ovl_is_whiteout(index)) 67891ffe7beSAmir Goldstein err = -ESTALE; 67991ffe7beSAmir Goldstein else if (ovl_dentry_weird(index)) 68091ffe7beSAmir Goldstein err = -EIO; 68191ffe7beSAmir Goldstein else 68291ffe7beSAmir Goldstein return index; 68391ffe7beSAmir Goldstein 68491ffe7beSAmir Goldstein dput(index); 68591ffe7beSAmir Goldstein return ERR_PTR(err); 686359f392cSAmir Goldstein } 687359f392cSAmir Goldstein 68806170154SAmir Goldstein struct dentry *ovl_lookup_index(struct ovl_fs *ofs, struct dentry *upper, 68906170154SAmir Goldstein struct dentry *origin, bool verify) 690359f392cSAmir Goldstein { 691359f392cSAmir Goldstein struct dentry *index; 692359f392cSAmir Goldstein struct inode *inode; 693359f392cSAmir Goldstein struct qstr name; 694ad1d615cSAmir Goldstein bool is_dir = d_is_dir(origin); 695359f392cSAmir Goldstein int err; 696359f392cSAmir Goldstein 697359f392cSAmir Goldstein err = ovl_get_index_name(origin, &name); 698359f392cSAmir Goldstein if (err) 699359f392cSAmir Goldstein return ERR_PTR(err); 700359f392cSAmir Goldstein 701359f392cSAmir Goldstein index = lookup_one_len_unlocked(name.name, ofs->indexdir, name.len); 702359f392cSAmir Goldstein if (IS_ERR(index)) { 703e0082a0fSAmir Goldstein err = PTR_ERR(index); 7047937a56fSAmir Goldstein if (err == -ENOENT) { 7057937a56fSAmir Goldstein index = NULL; 7067937a56fSAmir Goldstein goto out; 7077937a56fSAmir Goldstein } 708359f392cSAmir Goldstein pr_warn_ratelimited("overlayfs: failed inode index lookup (ino=%lu, key=%*s, err=%i);\n" 709359f392cSAmir Goldstein "overlayfs: mount with '-o index=off' to disable inodes index.\n", 710359f392cSAmir Goldstein d_inode(origin)->i_ino, name.len, name.name, 711359f392cSAmir Goldstein err); 712359f392cSAmir Goldstein goto out; 713359f392cSAmir Goldstein } 714359f392cSAmir Goldstein 7150e082555SAmir Goldstein inode = d_inode(index); 716359f392cSAmir Goldstein if (d_is_negative(index)) { 7176eaf0111SAmir Goldstein goto out_dput; 71806170154SAmir Goldstein } else if (ovl_is_whiteout(index) && !verify) { 71906170154SAmir Goldstein /* 72006170154SAmir Goldstein * When index lookup is called with !verify for decoding an 72106170154SAmir Goldstein * overlay file handle, a whiteout index implies that decode 72206170154SAmir Goldstein * should treat file handle as stale and no need to print a 72306170154SAmir Goldstein * warning about it. 72406170154SAmir Goldstein */ 72506170154SAmir Goldstein dput(index); 72606170154SAmir Goldstein index = ERR_PTR(-ESTALE); 72706170154SAmir Goldstein goto out; 7280e082555SAmir Goldstein } else if (ovl_dentry_weird(index) || ovl_is_whiteout(index) || 7290e082555SAmir Goldstein ((inode->i_mode ^ d_inode(origin)->i_mode) & S_IFMT)) { 7300e082555SAmir Goldstein /* 7310e082555SAmir Goldstein * Index should always be of the same file type as origin 7320e082555SAmir Goldstein * except for the case of a whiteout index. A whiteout 7330e082555SAmir Goldstein * index should only exist if all lower aliases have been 7340e082555SAmir Goldstein * unlinked, which means that finding a lower origin on lookup 7350e082555SAmir Goldstein * whose index is a whiteout should be treated as an error. 7360e082555SAmir Goldstein */ 7370e082555SAmir Goldstein pr_warn_ratelimited("overlayfs: bad index found (index=%pd2, ftype=%x, origin ftype=%x).\n", 7380e082555SAmir Goldstein index, d_inode(index)->i_mode & S_IFMT, 7390e082555SAmir Goldstein d_inode(origin)->i_mode & S_IFMT); 740359f392cSAmir Goldstein goto fail; 74106170154SAmir Goldstein } else if (is_dir && verify) { 742ad1d615cSAmir Goldstein if (!upper) { 743ad1d615cSAmir Goldstein pr_warn_ratelimited("overlayfs: suspected uncovered redirected dir found (origin=%pd2, index=%pd2).\n", 744ad1d615cSAmir Goldstein origin, index); 745ad1d615cSAmir Goldstein goto fail; 746359f392cSAmir Goldstein } 747359f392cSAmir Goldstein 748ad1d615cSAmir Goldstein /* Verify that dir index 'upper' xattr points to upper dir */ 749ad1d615cSAmir Goldstein err = ovl_verify_upper(index, upper, false); 750ad1d615cSAmir Goldstein if (err) { 751ad1d615cSAmir Goldstein if (err == -ESTALE) { 752ad1d615cSAmir Goldstein pr_warn_ratelimited("overlayfs: suspected multiply redirected dir found (upper=%pd2, origin=%pd2, index=%pd2).\n", 753ad1d615cSAmir Goldstein upper, origin, index); 754ad1d615cSAmir Goldstein } 755ad1d615cSAmir Goldstein goto fail; 756ad1d615cSAmir Goldstein } 757ad1d615cSAmir Goldstein } else if (upper && d_inode(upper) != inode) { 758ad1d615cSAmir Goldstein goto out_dput; 759ad1d615cSAmir Goldstein } 760359f392cSAmir Goldstein out: 761359f392cSAmir Goldstein kfree(name.name); 762359f392cSAmir Goldstein return index; 763359f392cSAmir Goldstein 7646eaf0111SAmir Goldstein out_dput: 7656eaf0111SAmir Goldstein dput(index); 7666eaf0111SAmir Goldstein index = NULL; 7676eaf0111SAmir Goldstein goto out; 7686eaf0111SAmir Goldstein 769359f392cSAmir Goldstein fail: 770359f392cSAmir Goldstein dput(index); 771359f392cSAmir Goldstein index = ERR_PTR(-EIO); 772359f392cSAmir Goldstein goto out; 773359f392cSAmir Goldstein } 774359f392cSAmir Goldstein 775359f392cSAmir Goldstein /* 776bbb1e54dSMiklos Szeredi * Returns next layer in stack starting from top. 777bbb1e54dSMiklos Szeredi * Returns -1 if this is the last layer. 778bbb1e54dSMiklos Szeredi */ 779bbb1e54dSMiklos Szeredi int ovl_path_next(int idx, struct dentry *dentry, struct path *path) 780bbb1e54dSMiklos Szeredi { 781bbb1e54dSMiklos Szeredi struct ovl_entry *oe = dentry->d_fsdata; 782bbb1e54dSMiklos Szeredi 783bbb1e54dSMiklos Szeredi BUG_ON(idx < 0); 784bbb1e54dSMiklos Szeredi if (idx == 0) { 785bbb1e54dSMiklos Szeredi ovl_path_upper(dentry, path); 786bbb1e54dSMiklos Szeredi if (path->dentry) 787bbb1e54dSMiklos Szeredi return oe->numlower ? 1 : -1; 788bbb1e54dSMiklos Szeredi idx++; 789bbb1e54dSMiklos Szeredi } 790bbb1e54dSMiklos Szeredi BUG_ON(idx > oe->numlower); 791b9343632SChandan Rajendra path->dentry = oe->lowerstack[idx - 1].dentry; 792b9343632SChandan Rajendra path->mnt = oe->lowerstack[idx - 1].layer->mnt; 793bbb1e54dSMiklos Szeredi 794bbb1e54dSMiklos Szeredi return (idx < oe->numlower) ? idx + 1 : -1; 795bbb1e54dSMiklos Szeredi } 796bbb1e54dSMiklos Szeredi 7979678e630SAmir Goldstein /* Fix missing 'origin' xattr */ 7989678e630SAmir Goldstein static int ovl_fix_origin(struct dentry *dentry, struct dentry *lower, 7999678e630SAmir Goldstein struct dentry *upper) 8009678e630SAmir Goldstein { 8019678e630SAmir Goldstein int err; 8029678e630SAmir Goldstein 8039678e630SAmir Goldstein if (ovl_check_origin_xattr(upper)) 8049678e630SAmir Goldstein return 0; 8059678e630SAmir Goldstein 8069678e630SAmir Goldstein err = ovl_want_write(dentry); 8079678e630SAmir Goldstein if (err) 8089678e630SAmir Goldstein return err; 8099678e630SAmir Goldstein 8109678e630SAmir Goldstein err = ovl_set_origin(dentry, lower, upper); 8119678e630SAmir Goldstein if (!err) 8129678e630SAmir Goldstein err = ovl_set_impure(dentry->d_parent, upper->d_parent); 8139678e630SAmir Goldstein 8149678e630SAmir Goldstein ovl_drop_write(dentry); 8159678e630SAmir Goldstein return err; 8169678e630SAmir Goldstein } 8179678e630SAmir Goldstein 818bbb1e54dSMiklos Szeredi struct dentry *ovl_lookup(struct inode *dir, struct dentry *dentry, 819bbb1e54dSMiklos Szeredi unsigned int flags) 820bbb1e54dSMiklos Szeredi { 821bbb1e54dSMiklos Szeredi struct ovl_entry *oe; 822bbb1e54dSMiklos Szeredi const struct cred *old_cred; 8236b2d5fe4SMiklos Szeredi struct ovl_fs *ofs = dentry->d_sb->s_fs_info; 824bbb1e54dSMiklos Szeredi struct ovl_entry *poe = dentry->d_parent->d_fsdata; 825c22205d0SAmir Goldstein struct ovl_entry *roe = dentry->d_sb->s_root->d_fsdata; 826b9343632SChandan Rajendra struct ovl_path *stack = NULL; 827bbb1e54dSMiklos Szeredi struct dentry *upperdir, *upperdentry = NULL; 828ad1d615cSAmir Goldstein struct dentry *origin = NULL; 829359f392cSAmir Goldstein struct dentry *index = NULL; 830bbb1e54dSMiklos Szeredi unsigned int ctr = 0; 831bbb1e54dSMiklos Szeredi struct inode *inode = NULL; 832bbb1e54dSMiklos Szeredi bool upperopaque = false; 83302b69b28SMiklos Szeredi char *upperredirect = NULL; 834bbb1e54dSMiklos Szeredi struct dentry *this; 835bbb1e54dSMiklos Szeredi unsigned int i; 836bbb1e54dSMiklos Szeredi int err; 837e28edc46SMiklos Szeredi struct ovl_lookup_data d = { 838e28edc46SMiklos Szeredi .name = dentry->d_name, 839e28edc46SMiklos Szeredi .is_dir = false, 840e28edc46SMiklos Szeredi .opaque = false, 841e28edc46SMiklos Szeredi .stop = false, 842452061fdSVivek Goyal .last = ofs->config.redirect_follow ? false : !poe->numlower, 84302b69b28SMiklos Szeredi .redirect = NULL, 844e28edc46SMiklos Szeredi }; 845bbb1e54dSMiklos Szeredi 8466b2d5fe4SMiklos Szeredi if (dentry->d_name.len > ofs->namelen) 8476b2d5fe4SMiklos Szeredi return ERR_PTR(-ENAMETOOLONG); 8486b2d5fe4SMiklos Szeredi 849bbb1e54dSMiklos Szeredi old_cred = ovl_override_creds(dentry->d_sb); 85009d8b586SMiklos Szeredi upperdir = ovl_dentry_upper(dentry->d_parent); 851bbb1e54dSMiklos Szeredi if (upperdir) { 852e28edc46SMiklos Szeredi err = ovl_lookup_layer(upperdir, &d, &upperdentry); 853e28edc46SMiklos Szeredi if (err) 854bbb1e54dSMiklos Szeredi goto out; 855bbb1e54dSMiklos Szeredi 856e28edc46SMiklos Szeredi if (upperdentry && unlikely(ovl_dentry_remote(upperdentry))) { 857e28edc46SMiklos Szeredi dput(upperdentry); 858bbb1e54dSMiklos Szeredi err = -EREMOTE; 859bbb1e54dSMiklos Szeredi goto out; 860bbb1e54dSMiklos Szeredi } 861a9d01957SAmir Goldstein if (upperdentry && !d.is_dir) { 862a9d01957SAmir Goldstein BUG_ON(!d.stop || d.redirect); 863f7d3dacaSAmir Goldstein /* 864f7d3dacaSAmir Goldstein * Lookup copy up origin by decoding origin file handle. 865f7d3dacaSAmir Goldstein * We may get a disconnected dentry, which is fine, 866f7d3dacaSAmir Goldstein * because we only need to hold the origin inode in 867f7d3dacaSAmir Goldstein * cache and use its inode number. We may even get a 868f7d3dacaSAmir Goldstein * connected dentry, that is not under any of the lower 869f7d3dacaSAmir Goldstein * layers root. That is also fine for using it's inode 870f7d3dacaSAmir Goldstein * number - it's the same as if we held a reference 871f7d3dacaSAmir Goldstein * to a dentry in lower layer that was moved under us. 872f7d3dacaSAmir Goldstein */ 8731eff1a1dSAmir Goldstein err = ovl_check_origin(ofs, upperdentry, &stack, &ctr); 874a9d01957SAmir Goldstein if (err) 8755455f92bSVivek Goyal goto out_put_upper; 876a9d01957SAmir Goldstein } 87702b69b28SMiklos Szeredi 87802b69b28SMiklos Szeredi if (d.redirect) { 8790ce5cdc9SDan Carpenter err = -ENOMEM; 88002b69b28SMiklos Szeredi upperredirect = kstrdup(d.redirect, GFP_KERNEL); 88102b69b28SMiklos Szeredi if (!upperredirect) 88202b69b28SMiklos Szeredi goto out_put_upper; 88302b69b28SMiklos Szeredi if (d.redirect[0] == '/') 884c22205d0SAmir Goldstein poe = roe; 88502b69b28SMiklos Szeredi } 886e28edc46SMiklos Szeredi upperopaque = d.opaque; 887bbb1e54dSMiklos Szeredi } 888bbb1e54dSMiklos Szeredi 889e28edc46SMiklos Szeredi if (!d.stop && poe->numlower) { 890bbb1e54dSMiklos Szeredi err = -ENOMEM; 891b9343632SChandan Rajendra stack = kcalloc(ofs->numlower, sizeof(struct ovl_path), 8920ee931c4SMichal Hocko GFP_KERNEL); 893bbb1e54dSMiklos Szeredi if (!stack) 894bbb1e54dSMiklos Szeredi goto out_put_upper; 895bbb1e54dSMiklos Szeredi } 896bbb1e54dSMiklos Szeredi 897e28edc46SMiklos Szeredi for (i = 0; !d.stop && i < poe->numlower; i++) { 898b9343632SChandan Rajendra struct ovl_path lower = poe->lowerstack[i]; 899bbb1e54dSMiklos Szeredi 900452061fdSVivek Goyal if (!ofs->config.redirect_follow) 901e28edc46SMiklos Szeredi d.last = i == poe->numlower - 1; 902452061fdSVivek Goyal else 903452061fdSVivek Goyal d.last = lower.layer->idx == roe->numlower; 904452061fdSVivek Goyal 905b9343632SChandan Rajendra err = ovl_lookup_layer(lower.dentry, &d, &this); 906e28edc46SMiklos Szeredi if (err) 907bbb1e54dSMiklos Szeredi goto out_put; 9086b2d5fe4SMiklos Szeredi 909bbb1e54dSMiklos Szeredi if (!this) 910bbb1e54dSMiklos Szeredi continue; 911bbb1e54dSMiklos Szeredi 9129678e630SAmir Goldstein /* 9139678e630SAmir Goldstein * If no origin fh is stored in upper of a merge dir, store fh 9149678e630SAmir Goldstein * of lower dir and set upper parent "impure". 9159678e630SAmir Goldstein */ 9169678e630SAmir Goldstein if (upperdentry && !ctr && !ofs->noxattr) { 9179678e630SAmir Goldstein err = ovl_fix_origin(dentry, this, upperdentry); 9189678e630SAmir Goldstein if (err) { 9199678e630SAmir Goldstein dput(this); 9209678e630SAmir Goldstein goto out_put; 9219678e630SAmir Goldstein } 9229678e630SAmir Goldstein } 9239678e630SAmir Goldstein 92437b12916SAmir Goldstein /* 92537b12916SAmir Goldstein * When "verify_lower" feature is enabled, do not merge with a 926ad1d615cSAmir Goldstein * lower dir that does not match a stored origin xattr. In any 927ad1d615cSAmir Goldstein * case, only verified origin is used for index lookup. 92837b12916SAmir Goldstein */ 92937b12916SAmir Goldstein if (upperdentry && !ctr && ovl_verify_lower(dentry->d_sb)) { 93037b12916SAmir Goldstein err = ovl_verify_origin(upperdentry, this, false); 93137b12916SAmir Goldstein if (err) { 93237b12916SAmir Goldstein dput(this); 93337b12916SAmir Goldstein break; 93437b12916SAmir Goldstein } 935ad1d615cSAmir Goldstein 936ad1d615cSAmir Goldstein /* Bless lower dir as verified origin */ 937ad1d615cSAmir Goldstein origin = this; 93837b12916SAmir Goldstein } 93937b12916SAmir Goldstein 940bbb1e54dSMiklos Szeredi stack[ctr].dentry = this; 941b9343632SChandan Rajendra stack[ctr].layer = lower.layer; 942bbb1e54dSMiklos Szeredi ctr++; 94302b69b28SMiklos Szeredi 944438c84c2SMiklos Szeredi /* 945438c84c2SMiklos Szeredi * Following redirects can have security consequences: it's like 946438c84c2SMiklos Szeredi * a symlink into the lower layer without the permission checks. 947438c84c2SMiklos Szeredi * This is only a problem if the upper layer is untrusted (e.g 948438c84c2SMiklos Szeredi * comes from an USB drive). This can allow a non-readable file 949438c84c2SMiklos Szeredi * or directory to become readable. 950438c84c2SMiklos Szeredi * 951438c84c2SMiklos Szeredi * Only following redirects when redirects are enabled disables 952438c84c2SMiklos Szeredi * this attack vector when not necessary. 953438c84c2SMiklos Szeredi */ 954438c84c2SMiklos Szeredi err = -EPERM; 955438c84c2SMiklos Szeredi if (d.redirect && !ofs->config.redirect_follow) { 956f8167817SAmir Goldstein pr_warn_ratelimited("overlayfs: refusing to follow redirect for (%pd2)\n", 957f8167817SAmir Goldstein dentry); 958438c84c2SMiklos Szeredi goto out_put; 959438c84c2SMiklos Szeredi } 960438c84c2SMiklos Szeredi 961d1fe96c0SVivek Goyal if (d.stop) 962d1fe96c0SVivek Goyal break; 963d1fe96c0SVivek Goyal 964c22205d0SAmir Goldstein if (d.redirect && d.redirect[0] == '/' && poe != roe) { 965c22205d0SAmir Goldstein poe = roe; 96602b69b28SMiklos Szeredi /* Find the current layer on the root dentry */ 967d583ed7dSAmir Goldstein i = lower.layer->idx - 1; 96802b69b28SMiklos Szeredi } 969bbb1e54dSMiklos Szeredi } 970bbb1e54dSMiklos Szeredi 971ad1d615cSAmir Goldstein /* 972ad1d615cSAmir Goldstein * Lookup index by lower inode and verify it matches upper inode. 973ad1d615cSAmir Goldstein * We only trust dir index if we verified that lower dir matches 974ad1d615cSAmir Goldstein * origin, otherwise dir index entries may be inconsistent and we 975ad1d615cSAmir Goldstein * ignore them. Always lookup index of non-dir and non-upper. 976ad1d615cSAmir Goldstein */ 977ad1d615cSAmir Goldstein if (ctr && (!upperdentry || !d.is_dir)) 978ad1d615cSAmir Goldstein origin = stack[0].dentry; 979359f392cSAmir Goldstein 980ad1d615cSAmir Goldstein if (origin && ovl_indexdir(dentry->d_sb) && 981ad1d615cSAmir Goldstein (!d.is_dir || ovl_index_all(dentry->d_sb))) { 98206170154SAmir Goldstein index = ovl_lookup_index(ofs, upperdentry, origin, true); 983359f392cSAmir Goldstein if (IS_ERR(index)) { 984359f392cSAmir Goldstein err = PTR_ERR(index); 985359f392cSAmir Goldstein index = NULL; 986359f392cSAmir Goldstein goto out_put; 987359f392cSAmir Goldstein } 988359f392cSAmir Goldstein } 989359f392cSAmir Goldstein 990bbb1e54dSMiklos Szeredi oe = ovl_alloc_entry(ctr); 991bbb1e54dSMiklos Szeredi err = -ENOMEM; 992bbb1e54dSMiklos Szeredi if (!oe) 993bbb1e54dSMiklos Szeredi goto out_put; 994bbb1e54dSMiklos Szeredi 995b9343632SChandan Rajendra memcpy(oe->lowerstack, stack, sizeof(struct ovl_path) * ctr); 996e6d2ebddSMiklos Szeredi dentry->d_fsdata = oe; 997e6d2ebddSMiklos Szeredi 998c62520a8SAmir Goldstein if (upperopaque) 999c62520a8SAmir Goldstein ovl_dentry_set_opaque(dentry); 1000c62520a8SAmir Goldstein 100155acc661SMiklos Szeredi if (upperdentry) 100255acc661SMiklos Szeredi ovl_dentry_set_upper_alias(dentry); 100355acc661SMiklos Szeredi else if (index) 1004359f392cSAmir Goldstein upperdentry = dget(index); 1005359f392cSAmir Goldstein 1006e6d2ebddSMiklos Szeredi if (upperdentry || ctr) { 1007ac6a52ebSVivek Goyal struct ovl_inode_params oip = { 1008ac6a52ebSVivek Goyal .upperdentry = upperdentry, 1009ac6a52ebSVivek Goyal .lowerpath = stack, 1010ac6a52ebSVivek Goyal .index = index, 1011ac6a52ebSVivek Goyal .numlower = ctr, 1012*9cec54c8SVivek Goyal .redirect = upperredirect, 1013ac6a52ebSVivek Goyal }; 1014ac6a52ebSVivek Goyal 1015ac6a52ebSVivek Goyal inode = ovl_get_inode(dentry->d_sb, &oip); 1016b9ac5c27SMiklos Szeredi err = PTR_ERR(inode); 1017b9ac5c27SMiklos Szeredi if (IS_ERR(inode)) 1018e6d2ebddSMiklos Szeredi goto out_free_oe; 1019e6d2ebddSMiklos Szeredi } 1020e6d2ebddSMiklos Szeredi 1021e6d2ebddSMiklos Szeredi revert_creds(old_cred); 1022359f392cSAmir Goldstein dput(index); 1023bbb1e54dSMiklos Szeredi kfree(stack); 102402b69b28SMiklos Szeredi kfree(d.redirect); 1025829c28beSAmir Goldstein return d_splice_alias(inode, dentry); 1026bbb1e54dSMiklos Szeredi 1027bbb1e54dSMiklos Szeredi out_free_oe: 1028e6d2ebddSMiklos Szeredi dentry->d_fsdata = NULL; 1029bbb1e54dSMiklos Szeredi kfree(oe); 1030bbb1e54dSMiklos Szeredi out_put: 1031359f392cSAmir Goldstein dput(index); 1032bbb1e54dSMiklos Szeredi for (i = 0; i < ctr; i++) 1033bbb1e54dSMiklos Szeredi dput(stack[i].dentry); 1034bbb1e54dSMiklos Szeredi kfree(stack); 1035bbb1e54dSMiklos Szeredi out_put_upper: 1036bbb1e54dSMiklos Szeredi dput(upperdentry); 103702b69b28SMiklos Szeredi kfree(upperredirect); 1038bbb1e54dSMiklos Szeredi out: 103902b69b28SMiklos Szeredi kfree(d.redirect); 1040bbb1e54dSMiklos Szeredi revert_creds(old_cred); 1041bbb1e54dSMiklos Szeredi return ERR_PTR(err); 1042bbb1e54dSMiklos Szeredi } 1043bbb1e54dSMiklos Szeredi 1044bbb1e54dSMiklos Szeredi bool ovl_lower_positive(struct dentry *dentry) 1045bbb1e54dSMiklos Szeredi { 1046bbb1e54dSMiklos Szeredi struct ovl_entry *poe = dentry->d_parent->d_fsdata; 1047bbb1e54dSMiklos Szeredi const struct qstr *name = &dentry->d_name; 10486d0a8a90SAmir Goldstein const struct cred *old_cred; 1049bbb1e54dSMiklos Szeredi unsigned int i; 1050bbb1e54dSMiklos Szeredi bool positive = false; 1051bbb1e54dSMiklos Szeredi bool done = false; 1052bbb1e54dSMiklos Szeredi 1053bbb1e54dSMiklos Szeredi /* 1054bbb1e54dSMiklos Szeredi * If dentry is negative, then lower is positive iff this is a 1055bbb1e54dSMiklos Szeredi * whiteout. 1056bbb1e54dSMiklos Szeredi */ 1057bbb1e54dSMiklos Szeredi if (!dentry->d_inode) 1058c62520a8SAmir Goldstein return ovl_dentry_is_opaque(dentry); 1059bbb1e54dSMiklos Szeredi 1060bbb1e54dSMiklos Szeredi /* Negative upper -> positive lower */ 106109d8b586SMiklos Szeredi if (!ovl_dentry_upper(dentry)) 1062bbb1e54dSMiklos Szeredi return true; 1063bbb1e54dSMiklos Szeredi 10646d0a8a90SAmir Goldstein old_cred = ovl_override_creds(dentry->d_sb); 1065bbb1e54dSMiklos Szeredi /* Positive upper -> have to look up lower to see whether it exists */ 1066bbb1e54dSMiklos Szeredi for (i = 0; !done && !positive && i < poe->numlower; i++) { 1067bbb1e54dSMiklos Szeredi struct dentry *this; 1068bbb1e54dSMiklos Szeredi struct dentry *lowerdir = poe->lowerstack[i].dentry; 1069bbb1e54dSMiklos Szeredi 1070bbb1e54dSMiklos Szeredi this = lookup_one_len_unlocked(name->name, lowerdir, 1071bbb1e54dSMiklos Szeredi name->len); 1072bbb1e54dSMiklos Szeredi if (IS_ERR(this)) { 1073bbb1e54dSMiklos Szeredi switch (PTR_ERR(this)) { 1074bbb1e54dSMiklos Szeredi case -ENOENT: 1075bbb1e54dSMiklos Szeredi case -ENAMETOOLONG: 1076bbb1e54dSMiklos Szeredi break; 1077bbb1e54dSMiklos Szeredi 1078bbb1e54dSMiklos Szeredi default: 1079bbb1e54dSMiklos Szeredi /* 1080bbb1e54dSMiklos Szeredi * Assume something is there, we just couldn't 1081bbb1e54dSMiklos Szeredi * access it. 1082bbb1e54dSMiklos Szeredi */ 1083bbb1e54dSMiklos Szeredi positive = true; 1084bbb1e54dSMiklos Szeredi break; 1085bbb1e54dSMiklos Szeredi } 1086bbb1e54dSMiklos Szeredi } else { 1087bbb1e54dSMiklos Szeredi if (this->d_inode) { 1088bbb1e54dSMiklos Szeredi positive = !ovl_is_whiteout(this); 1089bbb1e54dSMiklos Szeredi done = true; 1090bbb1e54dSMiklos Szeredi } 1091bbb1e54dSMiklos Szeredi dput(this); 1092bbb1e54dSMiklos Szeredi } 1093bbb1e54dSMiklos Szeredi } 10946d0a8a90SAmir Goldstein revert_creds(old_cred); 1095bbb1e54dSMiklos Szeredi 1096bbb1e54dSMiklos Szeredi return positive; 1097bbb1e54dSMiklos Szeredi } 1098