Yes, it reminds me of this project, using Checked C for the FreeBSD kernel: http://secdev.ieee.org/wp-content/uploads/2020/11/s1-02-Duan.pdf http://secdev.ieee.

Yes, it reminds me of this project, using Checked C for the FreeBSD kernel: http://secdev.ieee.org/wp-content/uploads/2020/11/s1-02-Duan.pdf http://secdev.ieee.org/wp-content/uploads/2020/11/s1-02-Duan...