On Tuesday, code-analysis software maker Coverity announced that its automated
bug finding tool had analyzed the community-built operating system FreeBSD and
flagged 306 potential software flaws, or about one issue for every 4,000 lines
of code. The low number of flaws found by the system underscores that FreeBSD's
manual auditing by project members has reduced the vulnerabilities in the
operating system, said Seth Hallem, CEO of Coverity.
In April 2004 Coverity analysed the Linux kernel:
and found 935 bugs (vs 360 FreeBSD).
Anyhow, the point is that open source software has a verifiably low number of
bugs. This is great!
"Many eyes" theory seems to be right
Freebsd mailing list