Hi SyzScope, On Fri, May 28, 2021 at 02:12:01PM -0700, SyzScope wrote: > The bug was reported by syzbot first in Aug 2020. Since it remains > unpatched to this date, we have conducted some analysis to determine its > security impact and root causes, which hopefully can help with the > patching decisions. > Specifically, we find that even though it is labeled as "UAF read" by > syzbot, it can in fact lead to double free and control flow hijacking as > well. Here is our analysis below (on this kernel version: > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/log/?id=af5043c89a8ef6b6949a245fff355a552eaed240) > > ----------------------------- Root cause analysis: > -------------------------- > The use-after-free bug happened because the object has two different > references. But when it was freed, only one reference was removed, > allowing the other reference to be used incorrectly. > [...] Thank you very much for your detailed analysis. I think this is very valuable work, and I appreciate you doing it. I wanted to jump in to this thread here so as not to discourage you, following Greg's hasty dismissal. The bad arguments made I've seen have been something like: - Who cares about the impact? Bugs are bugs and these should be fixed regardless. Severity ratings are a waste of time. - Spend your time writing patches, not writing tools to discover security issues. - This doesn't help my interns. - "research project" scare quotes. I think this entire set of argumentation is entirely bogus, and I really hope it doesn't dissuade you from continuing to conduct useful research on the kernel. Specifically, it sounds like your tool is scanning through syzbot reports, loading them into a symbolic execution engine, and seeing what other primitives you can finesse out of the bugs, all in an automated way. So, in the end, a developer gets a report that, rather than just saying "4 byte out of bounds read into all zeroed memory so not a big deal anyway even if it should be fixed," the developer gets a report that says, "4 byte out of bounds read, or a UaF if approached in this other way." Knowing that seems like very useful information, not just for prioritization, but also for the urgency at which patches might be deployed. For example, that's a meaningful distinction were that kind of bug found in core networking stack or in wifi or ethernet drivers. I also think it's great that you're pushing forward the field of automated vulnerability discovery and exploit writing. Over time, hopefully that leads to crushing all sorts of classes of bugs. It's also impressive that you're able to do so much with kernel code in a symbolic execution environment; this sounds a few steps beyond Angr ;-)... My one suggestion would be that your email alerts / follow-ups to syzbot reports, if automated, contain a bit more "dumbed-down" information about what's happening. Not all kernel developers speak security, and as you've seen, in some places it might be an uphill battle to have your contributions taken seriously. On the other hand, it sounds like you might already be working with Dmitry to integrate this into the syzkaller infrastructure itself, somehow? If so, that'd be great. Regards, Jason
