इंटेल कंट्रोलफ्लॅग 1.2 प्रकाशित करते, स्त्रोत कोडमधील विसंगती शोधण्याचे साधन

Intel ने ControlFlag 1.2 चे प्रकाशन प्रकाशित केले आहे, एक टूलकिट जे तुम्हाला मोठ्या प्रमाणात विद्यमान कोडवर प्रशिक्षित मशीन लर्निंग सिस्टम वापरून स्त्रोत कोडमधील त्रुटी आणि विसंगती ओळखण्याची परवानगी देते. पारंपारिक स्थिर विश्लेषकांच्या विपरीत, कंट्रोलफ्लॅग तयार नियम लागू करत नाही, ज्यामध्ये सर्व संभाव्य पर्याय प्रदान करणे कठीण आहे, परंतु मोठ्या संख्येने विद्यमान प्रकल्पांमध्ये विविध भाषा रचनांच्या वापरावरील आकडेवारीवर आधारित आहे. ControlFlag कोड C++ मध्ये लिहिलेला आहे आणि MIT लायसन्स अंतर्गत ओपन सोर्स केलेला आहे.

नवीन प्रकाशन C++ भाषेसाठी सामान्य कोड पॅटर्नवर आधारित विसंगती शोधण्यासाठी आणि शिक्षणासाठी पूर्ण समर्थनाच्या अंमलबजावणीसाठी उल्लेखनीय आहे. मागील आवृत्त्यांमध्ये, C आणि PHP भाषांसाठी समान समर्थन प्रदान केले होते. सिस्टीम कोडमधील विविध प्रकारच्या समस्या ओळखण्यासाठी, टायपो आणि टाइप विसंगत ओळखण्यापासून, स्टेटमेंटमधील विसंगती ओळखण्यासाठी आणि पॉइंटरमध्ये NULL चेक गहाळ करण्यासाठी योग्य आहे. GitHub आणि तत्सम सार्वजनिक भांडारांमध्ये प्रकाशित C, C++ आणि PHP मधील ओपन सोर्स प्रोजेक्ट्सच्या विद्यमान कोड अॅरेचे सांख्यिकीय मॉडेल तयार करून सिस्टमला प्रशिक्षित केले जाते.

प्रशिक्षणाच्या टप्प्यावर, प्रणाली कोडमधील संरचना तयार करण्यासाठी विशिष्ट नमुने निर्धारित करते आणि या नमुन्यांमधील कनेक्शनचे एक सिंटॅक्टिक ट्री तयार करते, प्रोग्राममधील कोड अंमलबजावणीचा प्रवाह प्रतिबिंबित करते. परिणामी, एक संदर्भ निर्णय घेणारा वृक्ष तयार होतो जो सर्व विश्लेषित स्त्रोत कोडच्या विकासाचा अनुभव एकत्र करतो. पुनरावलोकनाधीन कोड संदर्भ निर्णयाच्या झाडाविरुद्ध तपासले जाणारे नमुने ओळखण्याच्या समान प्रक्रियेतून जातात. शेजारच्या शाखांसह मोठ्या विसंगती तपासल्या जात असलेल्या नमुनामध्ये विसंगतीची उपस्थिती दर्शवितात.

स्त्रोत: opennet.ru