Kernel Trap: Defect Scanning with Coverity
Mar 07, 2006, 19:00 (0 Talkback[s])
"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..."