ctypes मध्ये अप्रमाणित अंशात्मक संख्या हाताळताना Python मध्ये भेद्यता

पायथन प्रोग्रामिंग लँग्वेज 3.7.10 आणि 3.6.13 चे सुधारात्मक प्रकाशन उपलब्ध आहेत, जे असुरक्षा (CVE-2021-3177) दुरुस्त करतात ज्यामुळे ctypes मेकॅनिझम वापरून C फंक्शन्स कॉल करणाऱ्या हँडलर्समध्ये अप्रमाणित फ्लोटिंग पॉइंट नंबरवर प्रक्रिया करताना कोडची अंमलबजावणी होऊ शकते. . समस्या Python 3.8 आणि 3.9 शाखांना देखील प्रभावित करते, परंतु त्यांच्यासाठी अद्यतने अद्याप रिलीझ उमेदवार स्थितीत आहेत (1 मार्च रोजी रिलीज शेड्यूल केलेले).

समस्या ctypes फंक्शन PyCArg_repr() मध्ये बफर ओव्हरफ्लोमुळे उद्भवते, जी sprintf च्या असुरक्षित वापरामुळे उद्भवते. विशेषतः, परिवर्तनाच्या परिणामावर प्रक्रिया करण्यासाठी 'sprintf(बफर, " ", self->tag, self->value.b)' ने 256 बाइट्स ("चार बफर[256]") चे स्थिर बफर वाटप केले, तर परिणाम या मूल्यापेक्षा जास्त असू शकतो. ऍप्लिकेशन्सची भेद्यता तपासण्यासाठी, तुम्ही “1e300” मूल्य पास करण्याचा प्रयत्न करू शकता, ज्यावर c_double.from_param पद्धतीने प्रक्रिया केल्यावर क्रॅश होईल, कारण परिणामी संख्येमध्ये 308 वर्ण आहेत आणि त्यात बसत नाहीत. 256-बाइट बफर. समस्याप्रधान कोडचे उदाहरण: आयात प्रकार; x = ctypes.c_double.from_param(1e300); repr(x)

डेबियन, उबंटू आणि फ्रीबीएसडीमध्ये ही समस्या कायम आहे, परंतु आर्क लिनक्स, फेडोरा, SUSE मध्ये आधीच निश्चित केली गेली आहे. RHEL मध्ये, FORTIFY_SOURCE मोडमध्ये पॅकेज असेंब्लीमुळे भेद्यता उद्भवत नाही, जे स्ट्रिंग फंक्शन्समध्ये अशा बफर ओव्हरफ्लोला ब्लॉक करते.

स्त्रोत: opennet.ru