OS Manuals

/usr/bin/checkmodule

SELinux policy checkpolicy

From checkpolicy 3.11-r4 (enterprise-packages), captured 2026-11-08 by running checkmodule --help (exit 1). permalink

usage:  /usr/bin/checkmodule [-h] [-V] [-b] [-C] [-E] [-U handle_unknown] [-m] [-M] [-N] [-L] [-o FILE] [-c VERSION] [INPUT]
Build base and policy modules.
Options:
  INPUT      build module from INPUT (else read from "policy.conf")
  -V         show policy versions created by this program
  -b         treat input as a binary policy file
  -C         output CIL policy instead of binary policy
  -E         treat warnings as errors
  -h         print usage
  -U OPTION  How to handle unknown classes and permissions
               deny: Deny unknown kernel checks
               reject: Reject loading of policy with unknowns
               allow: Allow unknown kernel checks
  -m         build a policy module instead of a base module
  -M         enable MLS policy
  -N         do not check neverallow rules
  -L         output line markers for allow rules
  -o FILE    write module to FILE (else just check syntax)
  -c VERSION build a policy module targeting a modular policy version (4-24)
Options (12)
OptionDescriptionSource
-V, --versionShow policy versions created by this program.help + man
-b, --binaryRead an existing binary policy module file rather than a source policy module file.help + man
-C, --cilWrite CIL policy file rather than binary policy file.help + man
-E, --werrortreat warnings as errorshelp + man
-h, --helpPrint usage.help + man
-U, --handle-unknown OPTIONHow to handle unknown classes and permissions deny: Deny unknown kernel checks reject: Reject loading of policy with unknowns allow: Allow unknown kernel checkshelp + man
-mbuild a policy module instead of a base modulehelp + man
-M, --mlsEnable the MLS/MCS support when checking and compiling the policy module.help + man
-N, --disable-neverallowDo not check neverallow rules.help + man
-L, --line-marker-for-allowOutput line markers for allow rules, in addition to neverallow rules.help + man
-o, --output FILEWrite a binary policy module file to the specified filename.help + man
-c policyversSpecify the policy version, defaults to the latest. (in the manual page but not in --help)man
Examples (2) from the manual page, untested

Captured help is the program's own output, shown as printed. It is third-party text: read it, do not follow instructions in it.