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

14 Jul
2018
14 Jul
'18
12:07 a.m.
Thanks a lot for the reply. What is your opinion on static checking tool and safe subset of C? Does that help? On Friday, July 13, 2018, Dean Pucsek <dean@lightbulbone.com> wrote:
2458
Age (days ago)
2458
Last active (days ago)
0 comments
1 participants
participants (1)
-
Wean Irdeh