DOKK / manpages / debian 12 / checkpolicy / checkpolicy.8.en
CHECKPOLICY(8) System Manager's Manual CHECKPOLICY(8)

checkpolicy - SELinux policy compiler

checkpolicy [-b[F]] [-C] [-d] [-U handle_unknown (allow,deny,reject)] [-M] [-c policyvers] [-o output_file|-] [-S] [-t target_platform (selinux,xen)] [-O] [-E] [-V] [input_file]

This manual page describes the checkpolicy command.

checkpolicy is a program that checks and compiles a SELinux security policy configuration into a binary representation that can be loaded into the kernel. If no input file name is specified, checkpolicy will attempt to read from policy.conf or policy, depending on whether the -b flag is specified.

Read an existing binary policy file rather than a source policy.conf file.
Write policy.conf file rather than binary policy file. Can only be used with binary policy file.
Write CIL policy file rather than binary policy file.
Enter debug mode after loading the policy.
Specify how the kernel should handle unknown classes or permissions (deny, allow or reject).
Enable the MLS policy when checking and compiling the policy.
Specify the policy version, defaults to the latest.
Write a policy file (binary, policy.conf, or CIL policy) to the specified filename. If - is given as filename, write it to standard output.
Sort ocontexts before writing out the binary policy. This option makes output of checkpolicy consistent with binary policies created by semanage and secilc.
Specify the target platform (selinux or xen).
Optimize the final kernel policy (remove redundant rules).
Treat warnings as errors
Show version information.
Show usage information.

SELinux Reference Policy documentation at https://github.com/SELinuxProject/refpolicy/wiki

This manual page was written by Árpád Magosányi <mag@bunuel.tii.matav.hu>, and edited by Stephen Smalley <sds@tycho.nsa.gov>. The program was written by Stephen Smalley <sds@tycho.nsa.gov>.