Ce projet est dédié à la validation et au test des requêtes utilisées pour la détection de vulnérabilités (CVE) dans le cadre d'une thèse de doctorat. Il permet d'évaluer la précision, la robustesse et l'efficacité des requêtes de sécurité en analysant des bases de code source. L'objectif est d'améliorer les méthodes de détection automatisée des vulnérabilités logicielles.