इंटेल ने कोड में बग की पहचान करने के लिए कंट्रोलफ्लैग मशीन लर्निंग सिस्टम कोड खोला

इंटेल ने कंट्रोलफ्लैग अनुसंधान परियोजना से संबंधित विकास की खोज की है, जिसका उद्देश्य कोड गुणवत्ता में सुधार के लिए मशीन लर्निंग सिस्टम बनाना है। प्रोजेक्ट द्वारा तैयार किया गया टूलकिट मौजूदा कोड की एक बड़ी मात्रा पर प्रशिक्षित मॉडल के आधार पर C/C++ जैसी उच्च-स्तरीय भाषाओं में लिखे गए स्रोत ग्रंथों में विभिन्न त्रुटियों और विसंगतियों का पता लगाने की अनुमति देता है। सिस्टम कोड में विभिन्न प्रकार की समस्याओं की पहचान करने के लिए उपयुक्त है, टाइपो और गलत प्रकार के संयोजनों का पता लगाने से लेकर पॉइंटर्स और मेमोरी समस्याओं में छूटे हुए NULL चेक का पता लगाने तक। कंट्रोलफ्लैग कोड C++ में लिखा गया है और एमआईटी लाइसेंस के तहत खुला स्रोत है।

सिस्टम GitHub और समान सार्वजनिक रिपॉजिटरी में प्रकाशित खुली परियोजनाओं के मौजूदा कोड सरणी का एक सांख्यिकीय मॉडल बनाकर स्व-शिक्षण है। सीखने के चरण में, सिस्टम कोड में संरचनाओं के निर्माण के लिए विशिष्ट पैटर्न निर्धारित करता है और इन पैटर्न के बीच लिंक का एक वाक्यात्मक पेड़ बनाता है, जो प्रोग्राम में कोड निष्पादन प्रवाह को दर्शाता है। परिणामस्वरूप, एक संदर्भ निर्णय वृक्ष बनता है जो सभी विश्लेषण किए गए स्रोत ग्रंथों को विकसित करने के अनुभव को जोड़ता है।

परीक्षण किया जा रहा कोड पैटर्न की पहचान करने की एक समान प्रक्रिया से गुजरता है जिसे संदर्भ निर्णय वृक्ष के विरुद्ध जांचा जाता है। पड़ोसी शाखाओं के साथ बड़ी विसंगतियाँ जाँचे जा रहे टेम्पलेट में एक विसंगति की उपस्थिति का संकेत देती हैं। सिस्टम न केवल टेम्पलेट में त्रुटि की पहचान करने की अनुमति देता है, बल्कि सुधार का सुझाव भी देता है। उदाहरण के लिए, ओपनएसएसएल कोड में, निर्माण "(s1 == NULL) ∧ (s2 == NULL)" पाया गया, जो सिंटैक्स ट्री में केवल 8 बार हुआ, जबकि निकटतम शाखा "(s1 ==) के साथ थी शून्य) || (s2 == NULL)" लगभग 7 हजार बार हुआ। सिस्टम ने एक विसंगति "(s1 == NULL) |" का भी पता लगाया (s2 == NULL)" जो पेड़ में 32 बार घटित हुआ।

कोड स्निपेट को पार्स करते समय "if (x = 7) y = x;" सिस्टम ने निर्धारित किया है कि "चर == संख्या" निर्माण का उपयोग आमतौर पर संख्यात्मक मानों की तुलना करने के लिए "यदि" कथन में किया जाता है, इसलिए, उच्च संभावना के साथ, "यदि" अभिव्यक्ति में संकेत "चर = संख्या" के कारण होता है एक लेखन त्रुटि। पारंपरिक स्थैतिक विश्लेषक भी ऐसी त्रुटि पकड़ लेंगे, लेकिन उनके विपरीत, कंट्रोलफ्लैग तैयार किए गए नियमों का उपयोग नहीं करता है जिसमें सभी संभावित विकल्पों का पूर्वानुमान लगाना मुश्किल होता है, बल्कि बड़ी संख्या में सभी प्रकार के निर्माणों का उपयोग करने के आंकड़ों पर आधारित होता है परियोजनाएं.

एक प्रयोग के रूप में, CURL उपयोगिता के स्रोत कोड में कंट्रोलफ्लैग का उपयोग करते हुए, जिसे अक्सर उच्च-गुणवत्ता और सत्यापित कोड के उदाहरण के रूप में उद्धृत किया जाता है, "s->keepon" संरचना तत्व का उपयोग करते समय स्थैतिक विश्लेषकों द्वारा ध्यान न दी गई एक त्रुटि का पता चला था, जिसका एक संख्यात्मक प्रकार था, लेकिन उसकी तुलना बूलियन मान TRUE से की गई थी। ओपनएसएसएल कोड में, "(s1 == NULL) ∧ (s2 == NULL)" के साथ उपरोक्त समस्या के अलावा, अभिव्यक्ति "(-2 == rv)" में भी विसंगतियाँ थीं (माइनस एक टाइपो था) ) और "BIO_puts(bp, ":")

स्रोत: opennet.ru