C कोड में त्रुटियों की पहचान करने के लिए एक उपकरण, कंट्रोलफ्लैग 1.0 का विमोचन

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

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

कंट्रोलफ्लैग की क्षमताओं के उदाहरण के रूप में, डेवलपर्स ने ओपनएसएसएल और कर्ल परियोजनाओं के स्रोत कोड का विश्लेषण किया:

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

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

स्रोत: opennet.ru