यह शोधपत्र KNighter प्रस्तुत करता है, जो बड़े सिस्टम (जैसे, Linux कर्नेल) के लार्ज-स्केल लैंग्वेज मॉडल्स (LLMs) का उपयोग करके स्केलेबल स्टैटिक विश्लेषण के लिए एक नवीन दृष्टिकोण है। मौजूदा स्टैटिक विश्लेषकों को डिज़ाइन और कार्यान्वित करना कठिन है और वे विशिष्ट बग पैटर्न तक सीमित हैं। LLMs का उपयोग करके बड़े सिस्टम का सीधे विश्लेषण करने के बजाय, KNighter ऐतिहासिक बग पैटर्न और पैच जानकारी का उपयोग करके स्वचालित रूप से विशिष्ट स्टैटिक विश्लेषक उत्पन्न करता है। इन विश्लेषकों की सटीकता की जाँच मूल पैच से तुलना करके की जाती है और गलत सकारात्मक परिणामों को कम करने के लिए उन्हें बार-बार परिष्कृत किया जाता है। Linux कर्नेल पर मूल्यांकन परिणाम दर्शाते हैं कि KNighter अत्यधिक सटीक चेकर्स उत्पन्न करता है जो विभिन्न प्रकार के बग पैटर्न का पता लगाते हैं जिनका पता मौजूदा विश्लेषकों द्वारा नहीं लगाया जा सका था। KNighter ने Linux कर्नेल में 92 नए गंभीर दीर्घकालिक बग (जिनकी औसत आयु 4.3 वर्ष है) खोजे, जिनमें से 77 की पुष्टि की गई, 57 को ठीक किया गया, और 30 को CVE संख्याएँ प्रदान की गईं। यह शोध चेकर संश्लेषण के माध्यम से वास्तविक दुनिया प्रणालियों के लिए स्केलेबल, विश्वसनीय और ट्रेस करने योग्य एलएलएम-आधारित स्थैतिक विश्लेषण के लिए एक नया प्रतिमान प्रस्तुत करता है।
