Modernizing C arrays for greater memory safety: a case study in the Linux kernel January 31, 2023 by Comments