ctypes में अमान्य भिन्नात्मक संख्याओं को संभालते समय पायथन में भेद्यता

पायथन प्रोग्रामिंग भाषा 3.7.10 और 3.6.13 के सुधारात्मक रिलीज़ उपलब्ध हैं, जो एक भेद्यता (सीवीई-2021-3177) को ठीक करते हैं जो ctypes तंत्र का उपयोग करके सी फ़ंक्शन को कॉल करने वाले हैंडलर में अमान्य फ़्लोटिंग पॉइंट नंबरों को संसाधित करते समय कोड निष्पादन का कारण बन सकता है। . समस्या Python 3.8 और 3.9 शाखाओं को भी प्रभावित करती है, लेकिन उनके लिए अपडेट अभी भी रिलीज़ उम्मीदवार की स्थिति में हैं (रिलीज़ 1 मार्च के लिए निर्धारित है)।

समस्या ctypes फ़ंक्शन PyCArg_repr() में बफर ओवरफ्लो के कारण होती है, जो स्प्रिंटफ के असुरक्षित उपयोग के कारण होती है। विशेष रूप से, परिवर्तन के परिणाम को संसाधित करने के लिए 'sprintf(buffer, " ", सेल्फ->टैग, सेल्फ->वैल्यू.बी)' ने 256 बाइट्स ("चार बफर[256]") का एक स्थिर बफर आवंटित किया, जबकि परिणाम इस मान से अधिक हो सकता है। एप्लिकेशन की भेद्यता की जांच करने के लिए, आप "1e300" मान को पास करने का प्रयास कर सकते हैं, जिसे c_double.from_param विधि द्वारा संसाधित करने पर क्रैश हो जाएगा, क्योंकि परिणामी संख्या में 308 वर्ण हैं और यह एक में फिट नहीं होता है 256-बाइट बफ़र. समस्याग्रस्त कोड का उदाहरण: आयात ctypes; x = ctypes.c_double.from_param(1e300); प्रतिनिधि(x)

समस्या डेबियन, उबंटू और फ्रीबीएसडी में ठीक नहीं हुई है, लेकिन आर्क लिनक्स, फेडोरा, एसयूएसई में पहले ही ठीक कर दी गई है। आरएचईएल में, FORTIFY_SOURCE मोड में पैकेज असेंबली के कारण भेद्यता उत्पन्न नहीं होती है, जो स्ट्रिंग फ़ंक्शंस में ऐसे बफर ओवरफ़्लो को अवरुद्ध करती है।

स्रोत: opennet.ru