“Ben Chelf, CTO of Coverity Inc., offered access to the bugs
discovered by the Coverity tool, previously known as the Stanford
Checker, to a select few interested developers.“Coverity is a tool that detects bugs, including security
vulnerabilities, in source code. They have been tracking several
open-source projects and have previously reported bugs in the Linux
kernel and FreeBSD among others…”