Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
MIME-Version: 1.0
References: <20230204183355.never.877-kees@kernel.org> <Y96/SUlPUl7xH1NO@gallifrey>
 <63e1486a.050a0220.7001.ca15@mx.google.com> <Y+FaEp2blurmgVlH@gallifrey> <202306010954.23972A710A@keescook>
In-Reply-To: <202306010954.23972A710A@keescook>
From:   Jeff Xu <jeffxu@chromium.org>
Date:   Thu, 1 Jun 2023 22:28:22 -0700
Message-ID: <CABi2SkUsirqw2AagHSRTSy-Re8V0rnUkYVgh1Ag2WcsqLZS54Q@mail.gmail.com>
Subject: Re: [PATCH] jfs: Use unsigned variable for length calculations
To:     Kees Cook <keescook@chromium.org>
Cc:     "Dr. David Alan Gilbert" <linux@treblig.org>,
        Dave Kleikamp <shaggy@kernel.org>,
        Christian Brauner <brauner@kernel.org>,
        Dave Chinner <dchinner@redhat.com>,
        jfs-discussion@lists.sourceforge.net, linux-kernel@vger.kernel.org,
        linux-hardening@vger.kernel.org
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Precedence: bulk

On Thu, Jun 1, 2023 at 9:55=E2=80=AFAM Kees Cook <keescook@chromium.org> wr=
ote:
>
> On Mon, Feb 06, 2023 at 07:50:42PM +0000, Dr. David Alan Gilbert wrote:
> > * Kees Cook (keescook@chromium.org) wrote:
> > > On Sat, Feb 04, 2023 at 08:25:45PM +0000, Dr. David Alan Gilbert wrot=
e:
> > > > * Kees Cook (keescook@chromium.org) wrote:
> > > > > To avoid confusing the compiler about possible negative sizes, sw=
itch
> > > > > "ssize" which can never be negative from int to u32.  Seen with G=
CC 13:
> > > > >
> > > > > ../fs/jfs/namei.c: In function 'jfs_symlink': ../include/linux/fo=
rtify-string.h:57:33: warning: '__builtin_memcpy' pointer overflow between =
offset 0 and size [-2147483648, -1]
> > > > > [-Warray-bounds=3D]
> > > > >    57 | #define __underlying_memcpy     __builtin_memcpy
> > > > >       |                                 ^
> > > > > ...
> > > > > ../fs/jfs/namei.c:950:17: note: in expansion of macro 'memcpy'
> > > > >   950 |                 memcpy(ip->i_link, name, ssize);
> > > > >       |                 ^~~~~~
> > > > >
> > > > > Cc: Dave Kleikamp <shaggy@kernel.org>
> > > > > Cc: Christian Brauner <brauner@kernel.org>
> > > > > Cc: Dave Chinner <dchinner@redhat.com>
> > > > > Cc: jfs-discussion@lists.sourceforge.net
> > > > > Signed-off-by: Kees Cook <keescook@chromium.org>
> > > > > ---
> > > > >  fs/jfs/namei.c | 6 +++---
> > > > >  1 file changed, 3 insertions(+), 3 deletions(-)
> > > > >
> > > > > diff --git a/fs/jfs/namei.c b/fs/jfs/namei.c
> > > > > index b29d68b5eec5..494b9f4043cf 100644
> > > > > --- a/fs/jfs/namei.c
> > > > > +++ b/fs/jfs/namei.c
> > > > > @@ -876,7 +876,7 @@ static int jfs_symlink(struct mnt_idmap *idma=
p, struct inode *dip,
> > > > >         tid_t tid;
> > > > >         ino_t ino =3D 0;
> > > > >         struct component_name dname;
> > > > > -       int ssize;              /* source pathname size */
> > > > > +       u32 ssize;              /* source pathname size */
> > > >
> > > > Had you considered using size_t - this is set from a strlen and use=
d by a memcpy
> > > > that both talk size_t.
> > >
> > > I considered that, but I've had other maintainers upset about doublin=
g
> > > the variable size.
> >
> > I bet at least on some platforms it's cheaper as the 64 bit.
> >
> > > I opted to keep the variable 32-bit here, so the
> > > machine code would only change to lose signed-ness.
> >
> > Fair enough.
>
> Thread ping. Can someone pick this up (or Ack it for my tree), please?
>
Acked-by: Jeff Xu <jeffxu@chromium.org>

In case you ask someone to look at code, which I did.
Best
-Jeff


> Thanks!
>
> -Kees
>
> --
> Kees Cook