Hello:
Is Red Hat worried about Coverity or other such bug/security hole
searching private ventures? There are probably 1000s of critical
security holes in any given Linux distro and the only problem is that
there doesn't exist sophisticated enough tools yet to discover them.
Companies like Coverity are attempting to develop them, and for what
seems like the greater good of Linux distros. Nevertheless, with Red
Hat having invested so much into SELinux is there also considerable
thought put into developing a Coverity-like project to get to those
lingering security threats first?
Benjy