Skip to content

Commit ca7ab48

Browse files
amir73ilbrauner
authored andcommitted
ovl: add permission hooks outside of do_splice_direct()
The main callers of do_splice_direct() also call rw_verify_area() for the entire range that is being copied, e.g. by vfs_copy_file_range() or do_sendfile() before calling do_splice_direct(). The only caller that does not have those checks for entire range is ovl_copy_up_file(). In preparation for removing the checks inside do_splice_direct(), add rw_verify_area() call in ovl_copy_up_file(). For extra safety, perform minimal sanity checks from rw_verify_area() for non negative offsets also in the copy up do_splice_direct() loop without calling the file permission hooks. This is needed for fanotify "pre content" events. Reviewed-by: Josef Bacik <[email protected]> Signed-off-by: Amir Goldstein <[email protected]> Link: https://lore.kernel.org/r/[email protected] Reviewed-by: Christoph Hellwig <[email protected]> Reviewed-by: Jan Kara <[email protected]> Signed-off-by: Christian Brauner <[email protected]>
1 parent 0db1d53 commit ca7ab48

File tree

1 file changed

+25
-1
lines changed

1 file changed

+25
-1
lines changed

fs/overlayfs/copy_up.c

Lines changed: 25 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -230,6 +230,19 @@ static int ovl_copy_fileattr(struct inode *inode, const struct path *old,
230230
return ovl_real_fileattr_set(new, &newfa);
231231
}
232232

233+
static int ovl_verify_area(loff_t pos, loff_t pos2, loff_t len, loff_t totlen)
234+
{
235+
loff_t tmp;
236+
237+
if (WARN_ON_ONCE(pos != pos2))
238+
return -EIO;
239+
if (WARN_ON_ONCE(pos < 0 || len < 0 || totlen < 0))
240+
return -EIO;
241+
if (WARN_ON_ONCE(check_add_overflow(pos, len, &tmp)))
242+
return -EIO;
243+
return 0;
244+
}
245+
233246
static int ovl_copy_up_file(struct ovl_fs *ofs, struct dentry *dentry,
234247
struct file *new_file, loff_t len)
235248
{
@@ -244,13 +257,20 @@ static int ovl_copy_up_file(struct ovl_fs *ofs, struct dentry *dentry,
244257
int error = 0;
245258

246259
ovl_path_lowerdata(dentry, &datapath);
247-
if (WARN_ON(datapath.dentry == NULL))
260+
if (WARN_ON_ONCE(datapath.dentry == NULL) ||
261+
WARN_ON_ONCE(len < 0))
248262
return -EIO;
249263

250264
old_file = ovl_path_open(&datapath, O_LARGEFILE | O_RDONLY);
251265
if (IS_ERR(old_file))
252266
return PTR_ERR(old_file);
253267

268+
error = rw_verify_area(READ, old_file, &old_pos, len);
269+
if (!error)
270+
error = rw_verify_area(WRITE, new_file, &new_pos, len);
271+
if (error)
272+
goto out_fput;
273+
254274
/* Try to use clone_file_range to clone up within the same fs */
255275
ovl_start_write(dentry);
256276
cloned = do_clone_file_range(old_file, 0, new_file, 0, len, 0);
@@ -309,6 +329,10 @@ static int ovl_copy_up_file(struct ovl_fs *ofs, struct dentry *dentry,
309329
}
310330
}
311331

332+
error = ovl_verify_area(old_pos, new_pos, this_len, len);
333+
if (error)
334+
break;
335+
312336
ovl_start_write(dentry);
313337
bytes = do_splice_direct(old_file, &old_pos,
314338
new_file, &new_pos,

0 commit comments

Comments
 (0)