Re: [seL4] How to write safe C code for free?

14 Jul
2018
14 Jul
'18
1:17 a.m.
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 <dean@lightbulbone.com> 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.
2418
Age (days ago)
2418
Last active (days ago)
0 comments
1 participants
participants (1)
-
Wean Irdeh