Python માં નબળાઈ જ્યારે ctypes માં અમાન્ય અપૂર્ણાંક સંખ્યાઓનું સંચાલન કરે છે

પાયથોન પ્રોગ્રામિંગ લેંગ્વેજ 3.7.10 અને 3.6.13 ના સુધારાત્મક પ્રકાશનો ઉપલબ્ધ છે, જે નબળાઈ (CVE-2021-3177) ને ઠીક કરે છે જે ctypes મિકેનિઝમનો ઉપયોગ કરીને C ફંક્શન્સને કૉલ કરતા હેન્ડલર્સમાં અમાન્ય ફ્લોટિંગ પોઈન્ટ નંબરની પ્રક્રિયા કરતી વખતે કોડ એક્ઝિક્યુશન તરફ દોરી શકે છે. . આ સમસ્યા પાયથોન 3.8 અને 3.9 શાખાઓને પણ અસર કરે છે, પરંતુ તેમના માટેના અપડેટ્સ હજુ પણ રિલીઝ ઉમેદવારની સ્થિતિમાં છે (પ્રકાશન 1 માર્ચ માટે સુનિશ્ચિત થયેલ છે).

સમસ્યા ctypes ફંક્શન PyCArg_repr() માં બફર ઓવરફ્લોને કારણે થાય છે, જે sprintf ના અસુરક્ષિત ઉપયોગને કારણે થાય છે. ખાસ કરીને, ટ્રાન્સફોર્મેશનના પરિણામ પર પ્રક્રિયા કરવા માટે 'sprintf(buffer, " ", self->tag, self->value.b)' એ 256 બાઇટ્સ ("ચાર બફર[256]")નું સ્થિર બફર ફાળવ્યું છે, જ્યારે પરિણામ આ મૂલ્ય કરતાં વધી શકે છે. એપ્લિકેશન્સની નબળાઈને ચકાસવા માટે, તમે "1e300" મૂલ્ય પસાર કરવાનો પ્રયાસ કરી શકો છો, જે, જ્યારે c_double.from_param પદ્ધતિ દ્વારા પ્રક્રિયા કરવામાં આવે છે, ત્યારે તે ક્રેશ તરફ દોરી જશે, કારણ કે પરિણામી સંખ્યા 308 અક્ષરો ધરાવે છે અને તેમાં ફિટ થતી નથી. 256-બાઇટ બફર. સમસ્યારૂપ કોડનું ઉદાહરણ: આયાત ctypes; x = ctypes.c_double.from_param(1e300); repr(x)

ડેબિયન, ઉબુન્ટુ અને ફ્રીબીએસડીમાં સમસ્યા અનિશ્ચિત રહે છે, પરંતુ આર્ક લિનક્સ, ફેડોરા, SUSE માં પહેલાથી જ ઠીક કરવામાં આવી છે. RHEL માં, FORTIFY_SOURCE મોડમાં પેકેજ એસેમ્બલીને કારણે નબળાઈ આવતી નથી, જે સ્ટ્રિંગ ફંક્શન્સમાં આવા બફર ઓવરફ્લોને અવરોધે છે.

સોર્સ: opennet.ru