Re: Coverity and userland...

Hubert Feyrer <[email protected]> Mon, 10 Apr 2006 14:08:17 +0200 (CEST)

Newsgroups	gmane.os.netbsd.devel.general
Message-ID	<[email protected]>

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