ControlFlag 1.0 चे प्रकाशन, C कोडमधील त्रुटी ओळखण्याचे साधन

Intel ने ControlFlag 1.0 टूलचे पहिले मोठे प्रकाशन प्रकाशित केले आहे, जे तुम्हाला मोठ्या प्रमाणात विद्यमान कोडवर प्रशिक्षित मशीन लर्निंग सिस्टम वापरून स्त्रोत कोडमधील त्रुटी आणि विसंगती ओळखण्याची परवानगी देते. पारंपारिक स्थिर विश्लेषकांच्या विपरीत, कंट्रोलफ्लॅग तयार नियम लागू करत नाही, ज्यामध्ये सर्व संभाव्य पर्याय प्रदान करणे कठीण आहे, परंतु मोठ्या संख्येने विद्यमान प्रकल्पांमध्ये विविध भाषा रचनांच्या वापरावरील आकडेवारीवर आधारित आहे. 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 भाषेसाठी मानक टेम्पलेट्स आणि सशर्त “if” अभिव्यक्तींमध्ये विसंगती शोधण्याची क्षमता पूर्ण समर्थन आहे. उदाहरणार्थ, कोड फ्रॅगमेंटचे विश्लेषण करताना “if (x = 7) y = x;” सिस्टीम हे निर्धारित करेल की "if" विधान सामान्यत: अंकीय मूल्यांची तुलना करण्यासाठी "चर == संख्या" रचना वापरते, त्यामुळे "if" अभिव्यक्तीमधील "व्हेरिएबल = संख्या" हे टायपोमुळे झाले असण्याची दाट शक्यता आहे. किटमध्ये एक स्क्रिप्ट समाविष्ट आहे जी तुम्हाला GitHub वर विद्यमान C भाषा भांडार डाउनलोड करण्यास आणि मॉडेल तयार करण्यासाठी त्यांचा वापर करण्यास अनुमती देते. रेडीमेड मॉडेल्स देखील उपलब्ध आहेत, जे तुम्हाला त्वरित कोड तपासणे सुरू करण्यास अनुमती देतात.

स्त्रोत: opennet.ru