परीक्षण किए गए 3.6% पायथन रिपॉजिटरी में अल्पविराम त्रुटियाँ गायब थीं

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

इसके अलावा मैन्युअल निरीक्षण से पता चला कि वास्तविक त्रुटियां केवल 24 रिपॉजिटरी (3.6%) में मौजूद थीं, और शेष 1.4% झूठी सकारात्मक थीं (उदाहरण के लिए, मल्टी-लाइन फ़ाइल पथ, लंबी हैश, HTML को जोड़ने के लिए लाइनों के बीच जानबूझकर अल्पविराम छोड़ा जा सकता था) ब्लॉक या SQL एक्सप्रेशन)। उल्लेखनीय है कि वास्तविक त्रुटियों वाले 24 रिपॉजिटरी में टेन्सरफ़्लो, Google V8, सेंट्री, पाइडेटा xarray, Rapidpro, django-colorfield और django-helpdesk जैसे बड़े प्रोजेक्ट थे। हालाँकि, अल्पविराम की समस्याएँ पायथन के लिए विशिष्ट नहीं हैं और अक्सर C/C++ परियोजनाओं में सामने आती हैं (हाल के सुधारों के उदाहरण LLVM, मोनो, टेन्सरफ़्लो हैं)।

अध्ययन की गई त्रुटियों के मुख्य प्रकार:

• सूचियों, टुपल्स और सेटों में गलती से अल्पविराम गायब हो गया, जिसके कारण स्ट्रिंग्स को अलग-अलग मानों के रूप में व्याख्या किए जाने के बजाय संयोजित किया गया। उदाहरण के लिए, सेंट्री में, एक परीक्षण में सूची में स्ट्रिंग "रिलीज़" और "डिस्कवर" के बीच अल्पविराम छूट गया, जिसके परिणामस्वरूप "/रिलीज़" और "की जाँच करने के बजाय एक गैर-मौजूद "/रिलीज़डिस्कवर" हैंडलर की जाँच हुई। /खोजें" अलग से।

  एक अन्य उदाहरण यह है कि रैपिडप्रो में एक गायब अल्पविराम के कारण लाइन 572 पर दो अलग-अलग नियमों का विलय हो गया:

  

• एकल-तत्व टपल परिभाषा के अंत में एक गायब अल्पविराम, जिसके कारण असाइनमेंट को टपल के बजाय एक नियमित प्रकार निर्दिष्ट करना पड़ता है। उदाहरण के लिए, अभिव्यक्ति "मान = (1,)" के परिणामस्वरूप एक तत्व के टपल के एक चर के लिए एक असाइनमेंट होगा, लेकिन "मान = (1)" के परिणामस्वरूप एक पूर्णांक प्रकार का असाइनमेंट होगा। इन असाइनमेंट में कोष्ठक प्रकार की परिभाषा को प्रभावित नहीं करते हैं और वैकल्पिक हैं, और टुपल की उपस्थिति केवल अल्पविराम की उपस्थिति के आधार पर पार्सर द्वारा निर्धारित की जाती है। REST_FRAMEWORK = { 'DEFAULT_PERMISSION_CLASSES': ( 'rest_framework.permissions.IsAuthenticated' # को टुपल के बजाय एक स्ट्रिंग असाइन किया जाएगा। ) }
• विपरीत स्थिति असाइनमेंट के दौरान अतिरिक्त अल्पविराम की है। यदि किसी असाइनमेंट के अंत में गलती से अल्पविराम छोड़ दिया जाता है, तो सामान्य प्रकार के बजाय एक टुपल को मान के रूप में निर्दिष्ट किया जाएगा (उदाहरण के लिए, यदि "मान = 1" के बजाय "मान = 1" निर्दिष्ट किया गया है)।

स्रोत: opennet.ru