Thanks again for the reply. I was looking for the foolproof way to write safe C code, but seems like the best way to go forward is to carefully design and code. Your advice is helpful to me.
Clang does have a static analyzer builtin that can be help in some cases. That being said, the best way forward is for you as a developer to understand the types of code that can lead to problems and not rely entirely on a static analyzer.