כ-21% מהקוד החדש שהורכב באנדרואיד 13 נכתב ב-Rust

מהנדסים מגוגל סיכמו את התוצאות הראשונות של הכנסת תמיכה בפיתוח בשפת Rust לפלטפורמת אנדרואיד. באנדרואיד 13, כ-21% מהקוד החדש שנוסף כתוב ב-Rust, ו-79% ב-C/C++. מאגר AOSP (Android Open Source Project), המפתח את קוד המקור של פלטפורמת אנדרואיד, מכיל כ-1.5 מיליון שורות של קוד Rust המשויכים לרכיבים חדשים כמו מאגר המפתחות ההצפנה Keystore2, מחסנית עבור שבבי UWB (Ultra-Wideband) , הטמעת פרוטוקול DNS-over-HTTP3, מסגרת הווירטואליזציה של AVF (Android Virtualization Framework), ערימות ניסיוניות עבור Bluetooth ו-Wi-Fi.

בהתאם לאסטרטגיה שאומצה בעבר של הפחתת הסיכון לפגיעויות הנגרמות משגיאות בעבודה עם זיכרון, שפת Rust משמשת כיום בעיקר בפיתוח קוד חדש וכדי לחזק בהדרגה את האבטחה של רכיבי התוכנה הפגיעים והחיוניים ביותר. אין מטרה כללית של העברת הפלטפורמה כולה ל-Rust והקוד הישן נשאר ב-C/C++, והמאבק בשגיאות בו מתבצע באמצעות שימוש בבדיקות מטושטשות, ניתוח סטטי ושימוש בפיתוח טכניקות דומות ל. שימוש בסוג MiraclePtr (כריכה על מצביעים גולמיים, ביצוע בדיקות נוספות לגישה לאזורי זיכרון משוחררים), מערכת הקצאת זיכרון Scudo (תחליף בטוח ל-malloc/free) ומנגנוני זיהוי שגיאות בעבודה עם זיכרון HWAsan (AddressSanitizer בעזרת חומרה), GWP-ASAN ו-KFENCE.

באשר לסטטיסטיקה על אופי הפגיעות בפלטפורמת האנדרואיד, יצוין כי ככל שקוד חדש שעובד בצורה לא בטוחה עם זיכרון יורד, יש ירידה במספר הפגיעויות הנגרמות משגיאות בעבודה עם זיכרון. לדוגמה, חלקן של הפגיעות שנגרמו מבעיות זיכרון ירד מ-76% ב-2019 ל-35% ב-2022. במספרים מוחלטים, 2019 פגיעויות הקשורות לזיכרון זוהו ב-223, 2020 ב-150, 2021 ב-100 ו-2022 ב-85 (כל הפגיעויות שצוינו היו בקוד C/C++; בקוד Rust, אין בעיות דומות עד כה. מצאתי). 2022 הייתה השנה הראשונה בה פגיעות הקשורות לזיכרון הפסיקו לשלוט.

מכיוון שפגיעויות הקשורות לזיכרון הן בדרך כלל המסוכנות ביותר, הסטטיסטיקה הכוללת גם מציגה ירידה במספר הבעיות והבעיות הקריטיות שניתן לנצל מרחוק. יחד עם זאת, הדינמיקה של זיהוי נקודות תורפה שאינן קשורות לעבודה עם זיכרון נותרה בערך באותה רמה ב-4 השנים האחרונות - 20 נקודות תורפה בחודש. גם חלקן של הבעיות המסוכנות מבין הפגיעויות הנגרמות משגיאות בעבודה עם זיכרון נשאר (אך מכיוון שמספרן של הפגיעויות הללו יורד, גם מספר הבעיות המסוכנות יורד).

הסטטיסטיקה גם עוקבת אחר המתאם בין כמות הקוד החדש שעובד בצורה לא בטוחה עם הזיכרון לבין מספר הפגיעויות הקשורות לזיכרון (הצפת מאגר, גישה לזיכרון שכבר שוחרר וכו'). תצפית זו מאששת את ההנחה שההתמקדות בעת יישום טכניקות תכנות מאובטחות צריכה להיות בהסרת קוד חדש במקום בשכתוב קוד קיים, שכן עיקר הפגיעויות המזוהות נמצאות בקוד חדש.

מקור: OpenNet.ru