Flexible Array Transformations and Array-bounds Checking in Linux Kernel

Explore strategies for transforming trailing zero-length and one-element arrays into modern C99 flexible-array members in the Linux kernel. Learn about the Kernel Self-Protection Project's efforts to address array-bounds checking concerns and harden key APIs like memcpy(). Discover the challenges of transforming one-element arrays in UAPI and understand how compiler behavior affects array-bounds checking. Examine the potential benefits of introducing the -fstrict-flex-arrays option to improve security and code quality in kernel development.

Flexible Array Transformations and Array-bounds Checking - Gustavo A. R. Silva, The Linux Foundation