In message <200604101052.k3AAqbPp019142@vtn1.victoria.tc.ca>, John Nemeth writes:
> On Aug 31,  7:26am, 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!

Igor.