An Ubuntu kernel bug causes container crashes
An Ubuntu kernel bug causes container crashes
Posted Jul 6, 2022 22:05 UTC (Wed) by bartoc (guest, #124262)In reply to: An Ubuntu kernel bug causes container crashes by smurf
Parent article: An Ubuntu kernel bug causes container crashes
well, there are cocci checks for a ton of ownership issues in the kernel, if the internal change had come with such a cocci check and the ubuntu folks had run it then maybe this could have been caught, but why should it have been? It was an internal refactoring after all.
I have my doubts about rust’s ability to prevent this kind of thing, but stuff like that does help (thats why the kernel has lifetime related cocci checks)
