Rust נכללת בין השפות העיקריות לפיתוח פלטפורמת אנדרואיד

גוגל הכריזה על הכללת שפת התכנות Rust בין השפות המותרות לפיתוח פלטפורמת אנדרואיד. מהדר שפת Rust נכלל בעץ המקור של אנדרואיד עוד בשנת 2019, אך התמיכה בשפה זו נותרה ניסיונית. חלק מרכיבי Rust הראשונים שתוכננו עבור אנדרואיד כוללים יישומים חדשים של מנגנון התקשורת הבין-תהליכים של Binder וערימת ה-Bluetooth.

הכנסת Rust בוצעה כחלק מפרויקט לחיזוק האבטחה, קידום טכניקות תכנות בטוחות והגברת היעילות של זיהוי בעיות בעבודה עם זיכרון באנדרואיד. יצוין כי כ-70% מכל הפגיעויות המסוכנות שזוהו באנדרואיד נגרמות משגיאות בעבודה עם זיכרון. שימוש ב-Rust, המתמקד בבטיחות זיכרון וניהול זיכרון אוטומטי, יקטין את הסיכון לפגיעויות הנגרמות על ידי שגיאות זיכרון כגון גישה חופשית לאחר וחריפת מאגר.

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

באנדרואיד, בטיחות זיכרון מסופקת בשפות הנתמכות כבר Kotlin ו-Java, אך הן אינן מתאימות לפיתוח רכיבי מערכת עקב תקורה גבוהה. Rust מאפשרת להשיג ביצועים קרובים לשפות C ו++C, מה שמאפשר להשתמש בה לפיתוח חלקים ברמה נמוכה של הפלטפורמה ורכיבים לאינטראקציה עם החומרה.

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

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

עבור תהליכי מערכת באנדרואיד, גוגל מקפידה על "כלל שני", לפיו כל קוד שנוסף חייב לעמוד לא יותר משניים מתוך שלושה תנאים: עבודה עם נתוני קלט לא מאומתים, שימוש בשפת תכנות לא בטוחה (C/C++), וכן פועל ללא בידוד קפדני של ארגז חול (בעל הרשאות מוגברות). כלל זה מרמז כי הקוד לעיבוד נתונים חיצוניים חייב להיות מופחת להרשאות מינימליות (מבודד) או לכתוב בשפת תכנות מאובטחת.

גוגל לא שואפת לשכתב קוד C/C++ קיים ב-Rust, אך מתכננת להשתמש בשפה זו כדי לפתח קוד חדש. הגיוני להשתמש ב-Rust עבור קוד חדש מכיוון, סטטיסטית, רוב הבאגים מופיעים בקוד חדש או שהשתנה לאחרונה. בפרט, כ-50% משגיאות הזיכרון שזוהו באנדרואיד מתגלות בקוד שנכתב לפני פחות משנה.

מקור: OpenNet.ru