[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <ZPVphESLDd0NVfxa@localhost.localdomain>
Date: Mon, 4 Sep 2023 07:22:12 +0200
From: Michal Swiatkowski <michal.swiatkowski@...ux.intel.com>
To: Kuniyuki Iwashima <kuniyu@...zon.com>
Cc: "David S. Miller" <davem@...emloft.net>,
Eric Dumazet <edumazet@...gle.com>,
Jakub Kicinski <kuba@...nel.org>, Paolo Abeni <pabeni@...hat.com>,
Christian Brauner <brauner@...nel.org>,
Kuniyuki Iwashima <kuni1840@...il.com>, netdev@...r.kernel.org,
Heiko Carstens <hca@...ux.ibm.com>,
Alexander Mikhalitsyn <aleksandr.mikhalitsyn@...onical.com>
Subject: Re: [PATCH v2 net] af_unix: Fix msg_controllen test in
scm_pidfd_recv() for MSG_CMSG_COMPAT.
On Fri, Sep 01, 2023 at 04:46:04PM -0700, Kuniyuki Iwashima wrote:
> Heiko Carstens reported that SCM_PIDFD does not work with MSG_CMSG_COMPAT
> because scm_pidfd_recv() always checks msg_controllen against sizeof(struct
> cmsghdr).
>
> We need to use sizeof(struct compat_cmsghdr) for the compat case.
>
> Fixes: 5e2ff6704a27 ("scm: add SO_PASSPIDFD and SCM_PIDFD")
> Reported-by: Heiko Carstens <hca@...ux.ibm.com>
> Closes: https://lore.kernel.org/netdev/20230901200517.8742-A-hca@linux.ibm.com/
> Signed-off-by: Kuniyuki Iwashima <kuniyu@...zon.com>
> Tested-by: Heiko Carstens <hca@...ux.ibm.com>
> Reviewed-by: Alexander Mikhalitsyn <aleksandr.mikhalitsyn@...onical.com>
> ---
> v2:
> * Correct `len` in compat/non-compat case
>
> v1: https://lore.kernel.org/netdev/20230901222033.71400-1-kuniyu@amazon.com/T/#u
> ---
> include/net/scm.h | 14 +++++++++-----
> 1 file changed, 9 insertions(+), 5 deletions(-)
>
> diff --git a/include/net/scm.h b/include/net/scm.h
> index c5bcdf65f55c..e8c76b4be2fe 100644
> --- a/include/net/scm.h
> +++ b/include/net/scm.h
> @@ -9,6 +9,7 @@
> #include <linux/pid.h>
> #include <linux/nsproxy.h>
> #include <linux/sched/signal.h>
> +#include <net/compat.h>
>
> /* Well, we should have at least one descriptor open
> * to accept passed FDs 8)
> @@ -123,14 +124,17 @@ static inline bool scm_has_secdata(struct socket *sock)
> static __inline__ void scm_pidfd_recv(struct msghdr *msg, struct scm_cookie *scm)
> {
> struct file *pidfd_file = NULL;
> - int pidfd;
> + int len, pidfd;
>
> - /*
> - * put_cmsg() doesn't return an error if CMSG is truncated,
> + /* put_cmsg() doesn't return an error if CMSG is truncated,
> * that's why we need to opencode these checks here.
> */
> - if ((msg->msg_controllen <= sizeof(struct cmsghdr)) ||
> - (msg->msg_controllen - sizeof(struct cmsghdr)) < sizeof(int)) {
> + if (msg->msg_flags & MSG_CMSG_COMPAT)
> + len = sizeof(struct compat_cmsghdr) + sizeof(int);
> + else
> + len = sizeof(struct cmsghdr) + sizeof(int);
> +
> + if (msg->msg_controllen < len) {
> msg->msg_flags |= MSG_CTRUNC;
> return;
> }
Seems fine, you can point out in commit message that you are merging
both conditions into one (size comparation and this sizeof(int))
Reviewed-by: Michal Swiatkowski <michal.swiatkowski@...ux.intel.com>
Thanks
> --
> 2.30.2
Powered by blists - more mailing lists