checkpolicy(8) on Linux
The text aadb597ab5bf, as Debian 5.0 (Lenny) shipped it.
SELinux policy compiler
Flags it lists
-
-M -
-b -
-c -
-d -
-o