A tool to find inconsistencies in implementing security policies.