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.
On Friday, July 13, 2018, Dean Pucsek <[email protected]> wrote: > >> 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. > > >>> >>> >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
