Cet article présente KNighter, une nouvelle approche d'analyse statique évolutive de grands systèmes (par exemple, le noyau Linux) utilisant des modèles de langage à grande échelle (LLM). Les analyseurs statiques existants sont difficiles à concevoir et à implémenter et se limitent à des modèles de bogues spécifiques. Au lieu d'analyser directement les grands systèmes à l'aide de LLM, KNighter génère automatiquement des analyseurs statiques spécialisés à partir des modèles de bogues historiques et des informations sur les correctifs. La précision de ces analyseurs est vérifiée en les comparant aux correctifs d'origine et est affinée de manière itérative afin de réduire les faux positifs. Les résultats d'évaluation sur le noyau Linux démontrent que KNighter génère des vérificateurs très précis qui détectent divers modèles de bogues non détectés par les analyseurs existants. KNighter a découvert 92 nouveaux bogues critiques à long terme dans le noyau Linux (d'une moyenne d'âge de 4,3 ans), dont 77 ont été confirmés, 57 ont été corrigés et 30 ont reçu des numéros CVE. Cette recherche présente un nouveau paradigme pour une analyse statique basée sur le LLM évolutive, fiable et traçable pour les systèmes du monde réel grâce à la synthèse de vérificateurs.
