At last someone has articulated my thoughts about C memory safety. The solution exists and is very robust: ADA.
If only I could convince management to use that instead of C/C++. Instead they're more likely to find Rust the more attractive option
https://hackaday.com/2025/03/11/trapc-a-c-extension-for-the-memory-safety-boogeyman/