OpenBSD source gets independent code reviews, and they run syzcaller continuously.

https://marc.info/?l=openbsd-tech&w=2&r=1&s=coverity&q=b

https://marc.info/?l=openbsd-tech&m=164303498026116&w=2