hubertf's NetBSD Blog
Send interesting links to hubert at feyrer dot de!
[20050224] Finding NetBSD Kernel bugs with Coverity
From the website, ``Coverity automates the detection of software defects and security vulnerabilities for complex software at compile time. With Coverity, development teams identify critical software problems that could have a catastrophic impact.'' Ted Unangst from Coverity has run the tool on the NetBSD kernel source, and has discovered a number of problems that I find quite impressing, including using freed ressources, ressource leaks and *gosh* an in-kernel buffer overflow.

[Tags: , ]

Disclaimer: All opinion expressed here is purely my own. No responsibility is taken for anything.

Access count: 26538597
Copyright (c) Hubert Feyrer