SELinuxにおいて、特定のプロセスが拒否された理由を詳細に解説してくれる解析ツールはどれか。

sealertは監査ログを解析し、人間が理解しやすい対策案(setroubleshoot)を提示する。