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.

}-- End of excerpt from Igor Sobrado