SELinuxにおいて、プロセスのタイプが実行ファイルのタイプにアクセス可能かを確認するシミュレーションツールはどれか。

sesearchを用いることで、現在のポリシー上で特定のアクセスが許可されているか検証できる。