कोडमा बगहरू पहिचान गर्न Intel ले ControlFlag मेसिन लर्निङ सिस्टम कोड खोल्यो

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

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

समीक्षा अन्तर्गत कोडले सन्दर्भ निर्णय रूख विरुद्ध जाँच गरिएका ढाँचाहरू पहिचान गर्ने समान प्रक्रियाबाट गुज्र्छ। छिमेकी शाखाहरूसँग ठूला विसंगतिहरूले जाँच भइरहेको ढाँचामा विसंगतिको उपस्थितिलाई संकेत गर्दछ। प्रणालीले तपाईंलाई टेम्प्लेटमा त्रुटि पहिचान गर्न मात्र होइन, सच्याउन सुझाव पनि दिन्छ। उदाहरणका लागि, OpenSSL कोडमा, निर्माण "(s1 == NULL) ∧ (s2 == NULL)" पहिचान गरिएको थियो, जुन सिन्ट्याक्स रूखमा 8 पटक मात्र देखा पर्‍यो, जबकि मान "(s1 ==) सँग नजिकको शाखा। शून्य) || (s2 == NULL)” लगभग ७ हजार पटक आयो। प्रणालीले एउटा विसंगति पनि पत्ता लगायो “(s7 == NULL) | (s1 == NULL)" जुन रूखमा ३२ पटक देखा पर्‍यो।

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

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

स्रोत: opennet.ru