Subject: Coverity and userland...
To: None <tech-misc@NetBSD.org>
From: Igor Sobrado <igor@string1.ciencias.uniovi.es>
List: tech-misc
Date: 04/10/2006 12:50:34 
Hello.

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?

Cheers,
Igor.