Static code analysis of refpolicy style SELinux policy
https://github.com/TresysTechnology/selint/wiki