गहाळ स्वल्पविराम 3.6% चाचणी केलेल्या Python भांडारांमध्ये आढळले

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

पुढील मॅन्युअल तपासणीत असे दिसून आले की वास्तविक त्रुटी केवळ 24 रेपॉजिटरीजमध्ये (3.6%) होत्या आणि उर्वरित 1.4% खोट्या सकारात्मक होत्या (उदाहरणार्थ, मल्टी-लाइन फाइल पथ, लांब हॅश, एचटीएमएल जोडण्यासाठी ओळींमध्ये स्वल्पविराम जाणूनबुजून वगळला जाऊ शकतो. ब्लॉक किंवा SQL अभिव्यक्ती). हे लक्षात घेण्यासारखे आहे की वास्तविक त्रुटी असलेल्या 24 रिपॉझिटरीजमध्ये Tensorflow, Google V8, Sentry, Pydata xarray, rapidpro, django-colorfield आणि django-helpdesk सारखे मोठे प्रकल्प होते. तथापि, स्वल्पविरामांच्या समस्या पायथनसाठी विशिष्ट नसतात आणि बर्‍याचदा C/C++ प्रकल्पांमध्ये येतात (अलीकडील निराकरणांची उदाहरणे LLVM, Mono, Tensorflow आहेत).

मुख्य प्रकारच्या त्रुटींचा अभ्यास केला:

• चुकून याद्या, टपल्स आणि सेट्समध्ये स्वल्पविराम गहाळ झाला, ज्यामुळे स्ट्रिंग्स वेगळे मूल्ये म्हणून अर्थ लावण्याऐवजी एकत्र केले जातात. उदाहरणार्थ, सेन्ट्रीमध्ये, एका चाचणीमध्ये सूचीतील "रिलीझ" आणि "डिस्कव्हर" स्ट्रिंगमधील स्वल्पविराम चुकला, ज्यामुळे "/रिलीझ" आणि "तपासण्याऐवजी अस्तित्वात नसलेला "/releasesdiscover" हँडलर तपासला गेला. /discover" स्वतंत्रपणे.

  दुसरे उदाहरण असे आहे की रॅपिडप्रो मधील गहाळ स्वल्पविरामामुळे 572 ओळीवर दोन भिन्न नियम एकत्र केले गेले:

  

• सिंगल-एलिमेंट ट्युपल व्याख्येच्या शेवटी गहाळ झालेला स्वल्पविराम, ज्यामुळे असाइनमेंट टपल ऐवजी नियमित प्रकार नियुक्त करते. उदाहरणार्थ, "मूल्ये = (1,)" या अभिव्यक्तीमुळे एका घटकाच्या ट्युपलच्या व्हेरिएबलला असाइनमेंट होईल, परंतु "मूल्य = (1)" पूर्णांक प्रकाराची असाइनमेंट होईल. या असाइनमेंटमधील कंस प्रकार व्याख्येवर परिणाम करत नाहीत आणि ते ऐच्छिक आहेत आणि ट्यूपलची उपस्थिती केवळ स्वल्पविरामांच्या उपस्थितीवर आधारित पार्सरद्वारे निर्धारित केली जाते. REST_FRAMEWORK = { 'DEFAULT_PERMISSION_CLASSES': ( 'rest_framework.permissions.IsAuthenticated' # ला ट्युपल ऐवजी स्ट्रिंग नियुक्त केले जाईल.) }
• विरुद्ध परिस्थिती असाइनमेंट दरम्यान अतिरिक्त स्वल्पविराम आहे. असाइनमेंटच्या शेवटी स्वल्पविराम चुकून सोडल्यास, नेहमीच्या प्रकाराऐवजी मूल्य म्हणून ट्युपल नियुक्त केले जाईल (उदाहरणार्थ, जर “मूल्य = 1” ऐवजी “मूल्य = 1” निर्दिष्ट केले असेल तर).

स्त्रोत: opennet.ru