פגיעות קריטית ב- Wasmtime, זמן ריצה עבור יישומי WebAssembly

העדכונים המתקנים Wasmtime 6.0.1, 5.0.1 ו-4.0.1 תיקנו את הפגיעות (CVE-2023-26489), שהוקצה לה רמת סכנה קריטית. הפגיעות מאפשרת כתיבת נתונים לאזור זיכרון מחוץ לגבולות המותרים לקוד WebAssembly מבודד, שעלול לשמש תוקף כדי לבצע את הקוד שלו מחוץ לסביבת WASI המבודדת.

Wasmtime הוא זמן ריצה להפעלת יישומי WebAssembly עם הרחבות WASI (WebAssembly System Interface) כיישומים עצמאיים רגילים. ערכת הכלים כתובה בשפת Rust, והפגיעות נגרמת משגיאה לוגית בהגדרת כללי כתובת זיכרון ליניאריים במחולל הקוד של Cranelift, המתרגמת ייצוג ביניים בלתי תלוי בארכיטקטורות חומרה לקוד מכונה בר הפעלה עבור ארכיטקטורת x86_64.

בפרט, עבור יישומי WebAssembly, כתובות אפקטיביות של 35 סיביות חושבו במקום כתובות 33 סיביות המותרות ב-WebAssembly, מה שהעביר את מגבלת הזיכרון הווירטואלי המותר לפעולות קריאה וכתיבה ל-34 GB, בעוד שהגדרות סביבת ארגז החול מספקות הגנה עבור 6 GB מכתובת הבסיס. כתוצאה מכך, טווח הזיכרון הוירטואלי בין 6 ל-34 GB מכתובת הבסיס היה זמין לקריאה וכתיבה מיישומי WebAssembly. זיכרון זה יכול לארח סביבות WebAssembly אחרות או רכיבי זמן ריצה של WebAssembly.

אם לא ניתן לעדכן את גרסת Wasmtime, פתרון עוקף לחסימת השגיאה הוא לציין את האפשרות "Config::static_memory_maximum_size(0)" כדי לאפשר בדיקת גבולות נפרדת בכל הגישה לזיכרון הליניארי (כתוצאה מכך לקנס משמעותי בביצועים) . אפשרות נוספת היא להשתמש בהגדרה "Config::static_memory_guard_size(1 < 36)" כדי להגדיל את מספר דפי השמירה (חריג שנזרק בעת גישה) הממוקמים בטווח הזיכרון הווירטואלי הבעייתי (כתוצאה מכך לשמור כמות גדולה של זיכרון וירטואלי ו הגבלת המספר המריצים בו-זמנית יישומי WebAssembly).

מקור: OpenNet.ru