Enhancing Spatial Safety in the Linux Kernel - Kernel Recipes 2024

Explore the implementation of the new -Wflex-array-member-not-at-end compiler option in GCC-14 and its impact on the Linux kernel. Dive into the strategies employed to resolve approximately 60,000 warnings uncovered in the kernel, including legitimate bugs. Learn about the progress made in addressing 30% of these warnings and understand the Kernel Self-Protection Project's goal to globally enable this option in mainline. Gain insights into how these efforts contribute to enhancing the kernel's security in the spatial safety domain. This 51-minute conference talk by Gustavo AR SILVA at Kernel Recipes 2024 provides a comprehensive look at improving Linux kernel safety through compiler enhancements and proactive bug detection.