fs: Annotate struct file_handle with __counted_by() and use struct_size()
Subsystems (4)
PATCH 1/1 fs: Annotate struct file_handle with __counted_by() and use struct_size()
Prepare for the coming implementation by GCC and Clang of the __counted_by attribute. Flexible array members annotated with __counted_by can have their accesses bounds-checked at run-time via CONFIG_UBSAN_BOUNDS (for array indexing) and CONFIG_FORTIFY_SOURCE (for strcpy/memcpy-family functions).
While there, use struct_size() helper, instead of the open-coded version.
--- fs/fhandle.c | 8 ++++---- include/linux/fs.h | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-)
fs/fhandle.c +4 -4
@@ -36,7 +36,7 @@ static long do_sys_name_to_handle(const struct path *path,if (f_handle.handle_bytes >MAX_HANDLE_SZ )return -EINVAL ; - handle =kzalloc (sizeof (struct file_handle ) + f_handle.handle_bytes, + handle =kzalloc (struct_size (handle, f_handle, f_handle.handle_bytes),GFP_KERNEL );if (!handle)return -ENOMEM ;
@@ -71,7 +71,7 @@ static long do_sys_name_to_handle(const struct path *path,/* copy the mount id */ if (put_user (real_mount (path->mnt)->mnt_id, mnt_id) ||copy_to_user (ufh, handle, -sizeof (struct file_handle ) + handle_bytes)) +struct_size (handle, f_handle, handle_bytes))) retval = -EFAULT ;kfree (handle);return retval;
@@ -192,7 +192,7 @@ static int handle_to_path(int mountdirfd, struct file_handle __user *ufh, retval = -EINVAL ; goto out_err; } - handle =kmalloc (sizeof (struct file_handle ) + f_handle.handle_bytes, + handle =kmalloc (struct_size (handle, f_handle, f_handle.handle_bytes),GFP_KERNEL );if (!handle) { retval = -ENOMEM ;
@@ -202,7 +202,7 @@ static int handle_to_path(int mountdirfd, struct file_handle __user *ufh, *handle = f_handle;if (copy_from_user (&handle->f_handle, &ufh->f_handle, - f_handle.handle_bytes)) { +struct_size (ufh, f_handle, f_handle.handle_bytes))) { retval = -EFAULT ; goto out_handle; }
include/linux/fs.h +1 -1
@@ -1033,7 +1033,7 @@ struct file_handle {__u32 handle_bytes;int handle_type;/* file identifier */ -unsigned char f_handle[]; + unsigned char f_handle[] __counted_by(handle_bytes); };static inline struct file *get_file (struct file *f)
Signature · 1 line
2.34.1
Quoted 10 lines · Gustavo A. R. Silva
Prepare for the coming implementation by GCC and Clang of the
__counted_byattribute. Flexible array members annotated with__counted_bycan have their accesses bounds-checked at run-time viaCONFIG_UBSAN_BOUNDS(for array indexing) andCONFIG_FORTIFY_SOURCE(for strcpy/memcpy-family functions).While there, use
struct_size()helper, instead of the open-coded version.Signed-off-by Gustavo A. R. Silva <[email protected]>
Looks good. Feel free to add:
Honza
Quoted 61 lines
--- fs/fhandle.c | 8 ++++---- include/linux/fs.h | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-)fs/fhandle.c +4
-4@@ -36,7 +36,7 @@ static long do_sys_name_to_handle(const struct path *path,if (f_handle.handle_bytes >MAX_HANDLE_SZ )return -EINVAL ; - handle =kzalloc (sizeof (struct file_handle ) + f_handle.handle_bytes, + handle =kzalloc (struct_size (handle, f_handle, f_handle.handle_bytes),GFP_KERNEL );if (!handle)return -ENOMEM ;@@ -71,7 +71,7 @@ static long do_sys_name_to_handle(const struct path *path,/* copy the mount id */ if (put_user (real_mount (path->mnt)->mnt_id, mnt_id) ||copy_to_user (ufh, handle, -sizeof (struct file_handle ) + handle_bytes)) +struct_size (handle, f_handle, handle_bytes))) retval = -EFAULT ;kfree (handle);return retval;@@ -192,7 +192,7 @@ static int handle_to_path(int mountdirfd, struct file_handle __user *ufh, retval = -EINVAL ; goto out_err; } - handle =kmalloc (sizeof (struct file_handle ) + f_handle.handle_bytes, + handle =kmalloc (struct_size (handle, f_handle, f_handle.handle_bytes),GFP_KERNEL );if (!handle) { retval = -ENOMEM ;@@ -202,7 +202,7 @@ static int handle_to_path(int mountdirfd, struct file_handle __user *ufh, *handle = f_handle;if (copy_from_user (&handle->f_handle, &ufh->f_handle, - f_handle.handle_bytes)) { +struct_size (ufh, f_handle, f_handle.handle_bytes))) { retval = -EFAULT ; goto out_handle; }include/linux/fs.h +1
-1@@ -1033,7 +1033,7 @@ struct file_handle {__u32 handle_bytes;int handle_type;/* file identifier */ -unsigned char f_handle[]; + unsigned char f_handle[] __counted_by(handle_bytes); };static inline struct file *get_file (struct file *f)Signature · 1 line
2.34.1
Signature · 2 lines
Jan Kara <[email protected]> SUSE Labs, CR
Quoted 10 lines · Gustavo A. R. Silva
Prepare for the coming implementation by GCC and Clang of the
__counted_byattribute. Flexible array members annotated with__counted_bycan have their accesses bounds-checked at run-time viaCONFIG_UBSAN_BOUNDS(for array indexing) andCONFIG_FORTIFY_SOURCE(for strcpy/memcpy-family functions).While there, use
struct_size()helper, instead of the open-coded version.[...]
Applied to the vfs.misc branch of the vfs/vfs.git tree. Patches in the vfs.misc branch should appear in linux-next soon.
Please report any outstanding bugs that were missed during review in a new review to the original patch series allowing us to drop it.
It's encouraged to provide Acked-bys and Reviewed-bys even though the patch has now been applied. If possible patch trailers will be updated.
Note that commit hashes shown below are subject to change due to rebase, trailer updates or similar. If in doubt, please check the listed branch.
tree: https://git.kernel.org/pub/scm/linux/kernel/git/vfs/vfs.git branch: vfs.misc
[1/1] fs: Annotate struct file_handle with __counted_by() and use struct_size()
https://git.kernel.org/vfs/vfs/c/1b43c4629756