Parche del kernel de Linux y una serie de utilidades con funcionalidad de seguridad mejorada diseñadas para agregar controles de acceso obligatorios a Linux. Son herramientas para analizar la política de seguridad en sistemas SELinux. Incluye las siguientes aplicaciones: sechecker [Análisis automatizado basado en archivos de configuración], sediff [Comparar dos políticas para encontrar diferencias], sedta [Realizar análisis de transición de dominio], seinfo [Enumere los componentes de la política], seinfoflow [Realizar análisis de flujo de información] y sesearch [Reglas de búsqueda (permitir, type_transition, etc.)].