SELinuxにおいて、現在読み込まれているポリシーのバイナリファイルを直接逆コンパイルしてテキスト化するツールはどれか。

sedispolは、バイナリポリシーファイルを読み込み、TEルールなどの定義を表示する。