On Thu, Aug 27, 2020 at 12:34:57PM -0500, Qiushi Wu wrote: > Dear Linux maintainers: > > I'm Qiushi Wu, a Ph.D. student from the secure and reliable systems > research group at the University of Minnesota. Our group strives to improve > the security and reliability of the Linux kernel and has contributed quite > a number of patches. We appreciate the openness of the Linux community, but > would also like to discuss some questions about the patching process. It > would be great if you could let us know your thoughts. > > We recently found that minor patches such as one fixing a memory leak may > introduce more critical security bugs like double free. Sometimes the > maintainers can capture the introduced security bugs, sometimes not. This > is understandable because the introduced bugs can be subtle and hard to > catch due to the complexity. We are more concerned when “bad” submitters > intentionally and stealthily introduce such security bugs via seemingly > good patches, as they indeed have a chance to get the actually bad patches > accepted. This is not impossible because people have incentives---to plant > a vulnerability in a targeted driver, to get bounty rewards, etc. > > Based on our patching experience, we observe several things related to the > risks. > > 1. Linux allows anyone to submit a patch because it is an open community. > > 2. Maintainers tend to not accept preventive patches, i.e., a patch for a > bug that is not really there yet, but it can be likely formed in the > future.
How can you create a patch to prevent a bug that is not present? But no, this is not true, look at all of the kernel hardening features added to the kernel over the past 5+ years. Those are specifically to help handle the problem when there are bugs in the kernel, so that "bad things" do not happen when they occur. > 3. The patch review is mainly manual, so sometimes the introduced security > bugs could be missed. We are human, no development process can prevent this. > We would like to know how the Linux maintainers think about these risks. I think 2. is wrong, so it's not a risk. And how is 1. a "risk"? And of course, 3., humans, well, what can you do about them? :) > We > would like to know if maintainers have some methods and tools (such as > Smatch, Syzbot?) to mitigate these potential issues. We are happy to > discuss these issues and hope our observations could raise some awareness > of them. How do you "raise awareness" among a developer community that is 4000 people each year (1000 are new each year), consisting of 450+ different companies? And yes, we have lots of tools, and run them all the time on all of our public trees constantly. And they fix things before they get merged and sent out to the rest of the world. So what specific things are you wanting to discuss here? thanks, greg k-h