[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20230815035913.GF2247938@mit.edu>
Date: Mon, 14 Aug 2023 23:59:13 -0400
From: "Theodore Ts'o" <tytso@....edu>
To: Eric Biggers <ebiggers@...nel.org>
Cc: Matthew Wilcox <willy@...radead.org>,
Gabriel Krisman Bertazi <krisman@...e.de>,
viro@...iv.linux.org.uk, brauner@...nel.org, jaegeuk@...nel.org,
linux-fsdevel@...r.kernel.org, linux-ext4@...r.kernel.org,
linux-f2fs-devel@...ts.sourceforge.net
Subject: Re: [PATCH v5 01/10] fs: Expose helper to check if a directory needs
casefolding
On Mon, Aug 14, 2023 at 10:22:44AM -0700, Eric Biggers wrote:
>
> Keep in mind, the syzkaller team isn't asking for these pointless "fixes"
> either. They'd very much prefer 1 fix to 1000 fixes. I think some confusion
> might be arising from the very different types of problems that syzkaller finds.
> Sometimes 1 syzkaller report == 1 bug == 1 high-priority "must fix" bug == 1
> vulnerability == 1 fix needed. But in general syzkaller is just letting kernel
> developers know about a problem, and it is up to them to decide what to do about
> it. In this case there is one underlying issue that needs to be fixed, and the
> individual syzkaller reports that result from that issue are not important.
... except that the Syzkaller folks have created slide decks talking
about "Linux kernel security disaster", blaming the entire community,
where they quote the number unresolved syzkaller reports, without the
kind of nuance that you are referring to.
There is also not a great way of categorizing syzkaller reports as
"requires maliciously fuzzed file system image", or "writing to
mounted file system" --- either manually, or (ideally) automatically,
since the syzbot test generators knows what they are doing.
And finally, the reality is even if someone where to fix the "one
underlying issue", the reality is that it will be ten years or so
before said fixed can be rolled out, since it requires changes in
userspace utilities, as well as rolled out kernels, and enterprise
distros are around for a decade; even community distros need to be
supported for at least 3-5 years.
Finally, it's not just "one underlying issue"; there are also
"maliciously fuzzed file systems", and working around those syzbot
reports can be quite painful, especially the ones that lead to lockdep
deadlock reports. Many of these are spurious, caused by an inode
being used in two contexts, that can only happen in a badly corrupted
file system, and for which we've already signalled that the file
system is corrupted, so if you panic on error, it wouldn't deadlock.
(And if you deadlock, it's not _that_ much worse than panicing on a
maliciously fuzzed file system.) And all of these bugs get counted,
one for each lockdep report variation (so there can be 3-4 per root
cause) as a "security bug" in the "Linux kernel security disaster"
statistics.
I might not mind the hyperbole if said slide decks asked for more
headcount. But instead, they blame the "Linux upstream community" for
not fixing bugs, or treating the bugs seriously. Sigh....
- Ted
Powered by blists - more mailing lists