इंटेल ने कंट्रोलफ्लैग 1.2 प्रकाशित किया है, जो स्रोत कोड में विसंगतियों का पता लगाने के लिए एक उपकरण है

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

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

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

स्रोत: opennet.ru