Outil permettant de caractériser précisément l'ensemble des requêtes indéfinies d'un système basé sur des règles, grâce à une méthode statique et une approche énumérative optimisée. Il permet d'améliorer la flexibilité, la modularité et la fiabilité des systèmes de sécurité en identifiant les conflits de règles et en proposant une vue globale des politiques complexes.