SemanticVul: Evidence-Grounded Structured LLM Explanations for Vulnerability Detection
SemanticVul est un cadre reproductible pour la détection de vulnérabilités en C/C++ qui exploite des explications sémantiques générées localement et fondées sur des preuves pour améliorer significativement la précision et le rappel des classes minoritaires par rapport aux bases de référence existantes, tout en validant rigoureusement les affirmations par une correspondance de code déterministe et un audit de l'ensemble de données.