Despite the resurgence of safe language that prevent common pitfalls in C language like Rust and Ada, things like Linux and NetBSD are still written in C. What is the best way to construct safe and secure C code for contribution to Linux or NetBSD? Preferably free solution