Static code analysis of refpolicy style SELinux policies

 SELint is a program to perform static code analysis on SELinux policy
 source files.
 .
 It is designed for refpolicy style policies and supports the standard
 SELinux policy language (not CIL).
 .
 It performs various checks from incorrect filecontext
 definitions over missing or superfluous required entries in interfaces
 to violations of the refpolicy style guide. All categories can be either
 enabled or disabled via the command line or a configuration file.