From: Stefano Brivio <sbrivio@redhat.com>
To: David Gibson <david@gibson.dropbear.id.au>
Cc: Anshu Kumari <anskuma@redhat.com>, passt-dev@passt.top
Subject: Re: [PATCH] tcp: Avoid division by zero with small MSS values
Date: Wed, 21 Oct 2026 10:48:09 +0200 (CEST) [thread overview]
Message-ID: <20261021104809.0db3d744@elisabeth> (raw)
In-Reply-To: <atgXk7qvXuZ9dDIB@gractus.seuss>
On Wed, 21 Oct 2026 12:38:42 +1100
David Gibson <david@gibson.dropbear.id.au> wrote:
> On Wed, Oct 21, 2026 at 02:11:13AM +0200, Stefano Brivio wrote:
> > On Fri, 16 Oct 2026 16:58:11 +0530
> > Anshu Kumari <anskuma@redhat.com> wrote:
> >
> > > Fuzz testing with AFL++ persistent mode found a crash
> >
> > Yay, that's quite an achievement!
> >
> > > in
> > > tcp_buf_data_from_sock(), SIGFPE (signal 8) from division
> > > by zero at:
> > >
> > > fill_bufs = DIV_ROUND_UP(wnd_scaled - already_sent, mss);
> > >
> > > when we split buffers on MSS boundaries, if the MSS is small
> > > enough (less than four, rounded down to 0).
> > >
> > > A guest advertising such a small MSS indicates unusual
> > > behaviour because the minimum usable MSS is
> > > MTU - IP header - TCP header (28 bytes for the minimum
> > > IPv4 MTU of 68). To improve robustness:
> > >
> > > - Fix MSS_SET() to round up when MSS is between 1 and 3,
> > > storing tap_mss as 1 (recovered as 4 by MSS_GET()).
> >
> > This introduces a subtle problem though: if the MSS is between 1 and 3
> > (silly but I guess legitimate), we would overflow it now.
> >
> > I think we should rather adjust MSS_GET() as well, to always use 1 for
> > values 0 < x < 4.
> >
> > > - In case of zero MSS, don't send data: tcp_buf_data_from_sock()
> > > now returns early.
> > >
> > > This is not a security issue: the effect of a zero MSS from
> > > a guest input was a clean process termination (SIGFPE), not
> > > memory corruption or data leakage.
> >
> > And, actually, a rather convenient termination because the guest might
> > be doing something nasty here, so much that an assert() could also be a
> > reasonable choice instead (even though I still think that trying to be
> > robust against this condition makes more sense).
>
> assert() seems dubious to me, but resetting the connection would
> certainly be reasonable. In fact, it might be best to send an RST
> immediately to a SYN with MSS of 0, since such a connection would be
> useless.
We pondered with Anshu about that for a long while (and a summary of
this should probably be part of the commit message): it was actually
my favourite solution when we started looking into it, but then
realised that:
1. from a use case perspective:
a. very low MSSes are not uncommon in microcontroller applications
(let's say you have just 100-200 bytes available to process at a
given time, and short commands, or want the peer to split messages
/ commands for you onto specific boundaries)
b. what about 0 though? It might be a "probe" connection, and that
would be legitimate (we looked into all possible RFCs and couldn't
find a single sentence preventing that). It might also be meant as
a unidirectional connection
2. from a RFC perspective:
a. from RFC 9293, section 3.1: "TCP implementations MUST be prepared
to handle an illegal option length (e.g., zero); a suggested
procedure is to reset the connection and log the error cause
(MUST-7)."
But this is just about illegal option *lengths*, there's no such
thing as an illegal option *value*. And not even RFC 9293 sets a
minimum legal or expected value for the MSS
b. again from RFC 9293, 3.5.2:
"A reset must not be sent if it is not clear that this is the case."
This requirement seems to be overridden here and there in the same
RFC, but in very specific ways.
From this we concluded that it's not really compliant to reset the
connection in this case.
The next concern was going for transparency as much as we could: what's
the minimum for TCP_MAXSEG we can advertise to the peer? It was January
2000, and the definition of TCP_MIN_MSS as 88 bytes appeared in Linux
2.3.41pre2. We looked up related discussions but couldn't find anything,
except for:
https://unix.stackexchange.com/questions/22410/minimal-tcp-mss-in-linux
and there's a rather insightful answer there, based on the _maximum_
possible size of headers. On the other hand, we read and read, and
nowhere it's written that all IP implementations must support the
maximum size for TCP headers. If a segment is too big, it can be
dropped.
So, good, we can't reflect this 0 MSS to the peer. The peer might send
us data. What can we do at this point? The best we could come up with
is: pile it up. Don't send it (because we would overflow a 0 MSS if we
send anything).
The sender will figure it out. If it wasn't meant to be that way, they
will reset the connection, but we don't want to take that
responsibility.
--
Stefano
prev parent reply other threads:[~2026-10-21 8:48 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-16 11:28 Anshu Kumari
2026-10-21 0:11 ` Stefano Brivio
2026-10-21 1:38 ` David Gibson
2026-10-21 8:48 ` Stefano Brivio [this message]
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=20261021104809.0db3d744@elisabeth \
--to=sbrivio@redhat.com \
--cc=anskuma@redhat.com \
--cc=david@gibson.dropbear.id.au \
--cc=passt-dev@passt.top \
/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.
Code repositories for project(s) associated with this public inbox
https://passt.top/passt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for IMAP folder(s).