SELinux Policy Analysis Tools v4 alpha