carta

checkpolicy(8) on Linux

The text 25b4840e0085, as Debian 10 (Buster) shipped it.

SELinux policy compiler

Flags it lists

checkpolicy(8) on Linux now