@feld @emaste Thanks for sharing. That blog post was a great read. I wonder if the OpenBSD ntpd could be included in the FreeBSD install if the existing daemon is in such bad shape.
The CCC presentation linked in that post is a worthwhile watch too (https://www.youtube.com/watch?v=rRg2vuwF1hY). A third-party audit of (say) the TCP/IP stack would be really interesting.
It looks like there is already some automated kernel fuzzing in place which is really great to see.