From: Greg Kurz <groug@kaod.org>
To: "Philippe Mathieu-Daudé" <f4bug@amsat.org>
Cc: "Peter Maydell" <peter.maydell@linaro.org>,
qemu-trivial@nongnu.org, qemu-devel@nongnu.org,
"Aneesh Kumar K . V" <aneesh.kumar@linux.vnet.ibm.com>,
"Marc-André Lureau" <marcandre.lureau@redhat.com>,
"Paolo Bonzini" <pbonzini@redhat.com>,
"Eric Blake" <eblake@redhat.com>
Subject: Re: [Qemu-trivial] [PATCH for 2.10 v2 18/20] 9pfs: avoid sign conversion error simplifying the code
Date: Fri, 28 Jul 2017 09:49:33 +0200 [thread overview]
Message-ID: <20170728094933.30d23ff6@bahia.lan> (raw)
In-Reply-To: <96837087-e5a3-3c8c-63f3-fab1f821274a@amsat.org>
[-- Attachment #1: Type: text/plain, Size: 2201 bytes --]
On Thu, 27 Jul 2017 16:18:07 -0300
Philippe Mathieu-Daudé <f4bug@amsat.org> wrote:
> On 07/27/2017 08:40 AM, Greg Kurz wrote:
> > On Wed, 26 Jul 2017 23:42:22 -0300
> > Philippe Mathieu-Daudé <f4bug@amsat.org> wrote:
> > Reviewed-by: Greg Kurz <groug@kaod.org>
> >
> > Now, I'm not sure this can be merged during hard freeze since it is
> > more code cleanup than actual bug fixing...
>
> Hmm the commit message is probably not enough.
> The problem is this code can send broken packets, see inlined:
>
> >
> >> hw/9pfs/9p.c | 6 ++----
> >> 1 file changed, 2 insertions(+), 4 deletions(-)
> >>
> >> diff --git a/hw/9pfs/9p.c b/hw/9pfs/9p.c
> >> index 333dbb6f8e..0a37c8bd13 100644
> >> --- a/hw/9pfs/9p.c
> >> +++ b/hw/9pfs/9p.c
> >> @@ -945,7 +945,6 @@ static void coroutine_fn v9fs_version(void *opaque)
> >> v9fs_string_init(&version);
> >> err = pdu_unmarshal(pdu, offset, "ds", &s->msize, &version);
> >> if (err < 0) {
>
> if err == -1
>
> >> - offset = err;
>
> here this sets offset = (size_t)(-1) = SIZE_MAX
>
> >> goto out;
and here we jump directly to the out label, so...
> >> }
> >> trace_v9fs_version(pdu->tag, pdu->id, s->msize, version.data);
> >> @@ -962,13 +961,12 @@ static void coroutine_fn v9fs_version(void *opaque)
> >>
> >> err = pdu_marshal(pdu, offset, "ds", s->msize, &version);
> >> if (err < 0) {
> >> - offset = err;
> >> goto out;
> >> }
> >> - offset += err;
>
> here offset += SIZE_MAX which wraps, so this equivs to offset -= 1
>
... this cannot happen.
> >> + err += offset;
> >> trace_v9fs_version_return(pdu->tag, pdu->id, s->msize, version.data);
> >> out:
> >> - pdu_complete(pdu, offset);
>
> now we have offset = 7 - 1 = 6, since 6 > 0 pdu_complete() does not
> marshal the error code but 6 bytes of crap from pdu?
>
> Maybe I missed something.
>
> >> + pdu_complete(pdu, err);
> >> v9fs_string_free(&version);
> >> }
> >>
>
> Regards,
>
> Phil.
I've pushed this to my 9p-next branch to be merged in 2.11.
Cheers,
--
Greg
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 181 bytes --]
WARNING: multiple messages have this Message-ID (diff)
From: Greg Kurz <groug@kaod.org>
To: "Philippe Mathieu-Daudé" <f4bug@amsat.org>
Cc: "Peter Maydell" <peter.maydell@linaro.org>,
qemu-trivial@nongnu.org, qemu-devel@nongnu.org,
"Aneesh Kumar K . V" <aneesh.kumar@linux.vnet.ibm.com>,
"Marc-André Lureau" <marcandre.lureau@redhat.com>,
"Paolo Bonzini" <pbonzini@redhat.com>,
"Eric Blake" <eblake@redhat.com>
Subject: Re: [Qemu-devel] [Qemu-trivial] [PATCH for 2.10 v2 18/20] 9pfs: avoid sign conversion error simplifying the code
Date: Fri, 28 Jul 2017 09:49:33 +0200 [thread overview]
Message-ID: <20170728094933.30d23ff6@bahia.lan> (raw)
In-Reply-To: <96837087-e5a3-3c8c-63f3-fab1f821274a@amsat.org>
[-- Attachment #1: Type: text/plain, Size: 2201 bytes --]
On Thu, 27 Jul 2017 16:18:07 -0300
Philippe Mathieu-Daudé <f4bug@amsat.org> wrote:
> On 07/27/2017 08:40 AM, Greg Kurz wrote:
> > On Wed, 26 Jul 2017 23:42:22 -0300
> > Philippe Mathieu-Daudé <f4bug@amsat.org> wrote:
> > Reviewed-by: Greg Kurz <groug@kaod.org>
> >
> > Now, I'm not sure this can be merged during hard freeze since it is
> > more code cleanup than actual bug fixing...
>
> Hmm the commit message is probably not enough.
> The problem is this code can send broken packets, see inlined:
>
> >
> >> hw/9pfs/9p.c | 6 ++----
> >> 1 file changed, 2 insertions(+), 4 deletions(-)
> >>
> >> diff --git a/hw/9pfs/9p.c b/hw/9pfs/9p.c
> >> index 333dbb6f8e..0a37c8bd13 100644
> >> --- a/hw/9pfs/9p.c
> >> +++ b/hw/9pfs/9p.c
> >> @@ -945,7 +945,6 @@ static void coroutine_fn v9fs_version(void *opaque)
> >> v9fs_string_init(&version);
> >> err = pdu_unmarshal(pdu, offset, "ds", &s->msize, &version);
> >> if (err < 0) {
>
> if err == -1
>
> >> - offset = err;
>
> here this sets offset = (size_t)(-1) = SIZE_MAX
>
> >> goto out;
and here we jump directly to the out label, so...
> >> }
> >> trace_v9fs_version(pdu->tag, pdu->id, s->msize, version.data);
> >> @@ -962,13 +961,12 @@ static void coroutine_fn v9fs_version(void *opaque)
> >>
> >> err = pdu_marshal(pdu, offset, "ds", s->msize, &version);
> >> if (err < 0) {
> >> - offset = err;
> >> goto out;
> >> }
> >> - offset += err;
>
> here offset += SIZE_MAX which wraps, so this equivs to offset -= 1
>
... this cannot happen.
> >> + err += offset;
> >> trace_v9fs_version_return(pdu->tag, pdu->id, s->msize, version.data);
> >> out:
> >> - pdu_complete(pdu, offset);
>
> now we have offset = 7 - 1 = 6, since 6 > 0 pdu_complete() does not
> marshal the error code but 6 bytes of crap from pdu?
>
> Maybe I missed something.
>
> >> + pdu_complete(pdu, err);
> >> v9fs_string_free(&version);
> >> }
> >>
>
> Regards,
>
> Phil.
I've pushed this to my 9p-next branch to be merged in 2.11.
Cheers,
--
Greg
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 181 bytes --]
next prev parent reply other threads:[~2017-07-28 7:49 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-27 2:42 [Qemu-trivial] [PATCH for 2.10 v2 00/20] fix bugs reported by Clang Static Analyzer Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 01/20] tests: add missing dependency to build QTEST_QEMU_BINARY Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 02/20] loader: check get_image_size() return value Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 03/20] ivshmem: fix incorrect error handling in ivshmem_recv_msg() Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 04/20] nbd: fix memory leak in nbd_opt_go() Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 11:25 ` [Qemu-trivial] " Eric Blake
2017-07-27 11:25 ` [Qemu-devel] " Eric Blake
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 05/20] qcow2: fix null pointer dereference Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 06/20] ui/vnc: fix leak of SocketAddress ** Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 07/20] net/eth: fix incorrect check of iov_to_buf() return value Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 08/20] vfio/platform: fix use of freed memory Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 09/20] vfio/pci: " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 10/20] m68k/translate: fix incorrect copy/paste Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 4:55 ` [Qemu-trivial] " Richard Henderson
2017-07-27 4:55 ` [Qemu-devel] " Richard Henderson
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 11/20] linux-user/sh4: fix incorrect memory write Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 12/20] syscall: fix dereference of undefined pointer Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 6:39 ` [Qemu-trivial] " Laurent Vivier
2017-07-27 6:39 ` [Qemu-devel] " Laurent Vivier
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 13/20] syscall: fix use of uninitialized values Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 14/20] syscall: check inotify() and eventfd() return value Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 6:39 ` [Qemu-trivial] " Laurent Vivier
2017-07-27 6:39 ` [Qemu-devel] " Laurent Vivier
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 15/20] thunk: assert nb_fields is valid Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 17/20] bt-sdp: fix memory leak in sdp_service_record_build() Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 14:54 ` [Qemu-trivial] " Paolo Bonzini
2017-07-27 14:54 ` Paolo Bonzini
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 18/20] 9pfs: avoid sign conversion error simplifying the code Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 11:40 ` [Qemu-trivial] " Greg Kurz
2017-07-27 11:40 ` [Qemu-devel] " Greg Kurz
2017-07-27 19:18 ` [Qemu-trivial] " Philippe Mathieu-Daudé
2017-07-27 19:18 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-28 7:49 ` Greg Kurz [this message]
2017-07-28 7:49 ` Greg Kurz
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 19/20] spapr_vio: fix overflow of qdevs in spapr_dt_vdevice() Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 3:43 ` [Qemu-trivial] " David Gibson
2017-07-27 3:43 ` [Qemu-devel] " David Gibson
2017-07-27 4:35 ` [Qemu-trivial] " Philippe Mathieu-Daudé
2017-07-27 4:35 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-trivial] [PATCH for 2.10 v2 20/20] i2c/exynos4210: fix write to I2CADD register, bit 0 is not mapped Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-devel] " Philippe Mathieu-Daudé
2017-07-27 2:42 ` [Qemu-arm] " Philippe Mathieu-Daudé
2017-07-28 11:44 ` [Qemu-trivial] " Michael Tokarev
2017-07-28 11:44 ` [Qemu-devel] " Michael Tokarev
2017-07-28 11:44 ` [Qemu-arm] " Michael Tokarev
2017-07-28 11:45 ` [Qemu-trivial] [PATCH for 2.10 v2 00/20] fix bugs reported by Clang Static Analyzer Michael Tokarev
2017-07-28 11:45 ` [Qemu-devel] " Michael Tokarev
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20170728094933.30d23ff6@bahia.lan \
--to=groug@kaod.org \
--cc=aneesh.kumar@linux.vnet.ibm.com \
--cc=eblake@redhat.com \
--cc=f4bug@amsat.org \
--cc=marcandre.lureau@redhat.com \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=qemu-trivial@nongnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.