ControlFlag 1.0 को रिलीज, C कोड मा त्रुटिहरु को पहिचान को लागी एक उपकरण

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

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

ControlFlag को क्षमताहरूको उदाहरणको रूपमा, विकासकर्ताहरूले OpenSSL र cURL परियोजनाहरूको स्रोत कोडहरू विश्लेषण गरे:

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

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

स्रोत: opennet.ru