פגיעות ב-Python בעת טיפול במספרים שברים לא מאומתים ב-ctypes

זמינות מהדורות מתקנות של שפת התכנות Python 3.7.10 ו-3.6.13, אשר מתקנים פגיעות (CVE-2021-3177) שעלולה להוביל לביצוע קוד בעת עיבוד מספרי נקודה צפה לא מאומתים במטפלים הקוראים לפונקציות C באמצעות מנגנון ctypes . הבעיה משפיעה גם על סניפי Python 3.8 ו-3.9, אך עדכונים עבורם עדיין נמצאים בסטטוס מועמד לשחרור (הוצאה מתוכננת ל-1 במרץ).

הבעיה נגרמת על ידי הצפת מאגר בפונקציית ctypes PyCArg_repr(), המתרחשת עקב שימוש לא בטוח ב-sprintf. בפרט, כדי לעבד את התוצאה של הטרנספורמציה 'sprintf(buffer, " ", self->tag, self->value.b)' הקצה מאגר סטטי של 256 בתים ("char buffer[256]"), בעוד שהתוצאה עלולה לחרוג מערך זה. כדי לבדוק את הפגיעות של יישומים לפגיעות, אתה יכול לנסות להעביר את הערך "1e300", שכאשר יעובד בשיטת c_double.from_param, יוביל לקריסה, שכן המספר המתקבל מכיל 308 תווים ואינו מתאים ל- חיץ של 256 בתים. דוגמה לקוד בעייתי: ייבוא ​​ctypes; x = ctypes.c_double.from_param(1e300); repr(x)

הבעיה נותרה לא מתוקנת בדביאן, אובונטו ו-FreeBSD, אבל כבר תוקנה ב- Arch Linux, Fedora, SUSE. ב-RHEL, הפגיעות אינה מתרחשת עקב הרכבת חבילה במצב FORTIFY_SOURCE, אשר חוסמת גלישה כזו של מאגר בפונקציות מחרוזת.

מקור: OpenNet.ru