One could rewrite the C code to pass a pointer to an array with a length in the function prototype. Then you could also get bounds checking in C with UBSan.

https://godbolt.org/z/dPWPo1rrv