carta

checkpolicy(8) on Linux

The text 3875a51f4c33, as Debian 8 (Jessie) shipped it.

SELinux policy compiler

Flags it lists

checkpolicy(8) on Linux now