carta

checkpolicy(8) on Linux

The text 1eb782464c39, as Debian 9 (Stretch) shipped it.

SELinux policy compiler

Flags it lists

checkpolicy(8) on Linux now