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 -- fedora-selinux-list mailing list fedora-selinux-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-selinux-list