Subject: Re: Coverity and userland...
To: Igor Sobrado <igor@string1.ciencias.uniovi.es>
From: Hubert Feyrer <hubert@feyrer.de>
List: tech-misc
Date: 04/10/2006 14:08:17
On Mon, 10 Apr 2006, Igor Sobrado wrote:
>> } Is the Coverity's prevent code audit tool being used to audit
>> } the NetBSD kernel source only?  If it is being used to audit kernel
>> } source code only, will it be used for userland later?
>>
>>      It is doing userland and kernel.
>
> Fine!
>
> Certainly this project will improve the (currently excellent) quality
> of the NetBSD code.  Thanks a lot for your feedback on this matter!

FYI, see also:
http://mail-index.netbsd.org/current-users/2006/04/09/0010.html
http://mail-index.netbsd.org/current-users/2006/04/10/0011.html


  - Hubert