Refactoring the FreeBSD Kernel with Checked C [pdf]

Article URL: https://www.cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf

Comments URL: https://news.ycombinator.com/item?id=23993000

Points: 3

# Comments: 0

from Hacker News: Newest https://ift.tt/2Ex5b8H