Около 21% от новият компилиран код в Android 13 е написан на езика Rust.

Инженерите от Google представиха първите резултати от внедряването на поддръжка на разработка на езика Rust в платформата Android. В Android 13 приблизително 21% от добавения нов компилируем код е написан на Rust, а 79% на C/C++. В хранилището AOSP (Android Open Source Project), където се развива изходният код на платформата Android, има около 1,5 милиона реда код на Rust, свързани с нови компоненти като хранилището за криптографски ключове Keystore2, стек за UWB чипове (Ultra-Wideband), реализация на протокола DNS-over-HTTP3, фреймуърк за виртуализация AVF (Android Virtualization Framework) и експериментални стекове за Bluetooth и Wi-Fi.

В съответствие с по-рано приетата стратегия за намаляване на риска от уязвимости, причинени от грешки при работа с паметта, езикът Rust за момента се използва основно за разработка на нов код и постепенно укрепване на сигурността на най-уязвимите и жизненоважни софтуерни компоненти. Не се поставя обща цел за прехвърляне на цялата платформа на Rust, а старият код остава на C/C++,а борбата с грешките в него се извършва чрез използване на fuzzing тестове, статичен анализ и прилагане на техники за разработка, подобни на MiraclePtr (обвивка над raw указатели, изпълняваща допълнителни проверки на достъпа до освободени области на паметта), системата за разпределение на памет Scudo (безопасна замяна на malloc/free) и механизмите за откриване на грешки при работа с паметта HWAsan (Hardware-assisted AddressSanitizer), GWP-ASAN и KFENCE.

По отношение на статистиката за характера на уязвимостите в платформата Android, се отбелязва, че с намаляването на новия код, работещ небезопасно с паметта, се наблюдава и намаляване на броя на уязвимостите, причинени от грешки при работа с паметта. Например, делът на уязвимостите, предизвикани от проблеми с паметта, е намалял от 76% през 2019 г. до 35% през 2022 г. В абсолютни числа, през 2019 г. бяха идентифицирани 223 уязвимости, свързани с работа с паметта, през 2020 г. – 150, през 2021 г. – 100, а през 2022 г. – 85 (всички посочени уязвимости са в код на C/C++, в кода на Rust подобни проблеми все още не са открити). 2022 г. стана първата година, в която уязвимостите, свързани с паметта, престанаха да доминират.

Тъй като уязвимостите, свързани с управлението на паметта, обикновено са най-опасни, общата статистика показва също намаление на броя на критичните проблеми и на проблемите, които могат да бъдат експлоатирани отдалеч. В същото време динамиката на откритите уязвимости, несвързани с управлението на паметта, през последните 4 години остава приблизително на едно ниво — 20 уязвимости на месец. Също така остава и делът на опасните проблеми сред уязвимостите, причинени от грешки при управлението на паметта (но тъй като намалява броят на подобни уязвимости, намалява и броят на опасните проблеми).

В статистиката също така се проследява корелация между обема на новия код, работещ небезопасно с паметта, и броя на уязвимостите, свързани с паметта (преливане на буфер, достъп до вече освободена памет и т.н.). Това наблюдение потвърдява предположението, че основното внимание при внедряването на техники за безопасно програмиране трябва да се съсредоточи върху новия код, а не върху пренаписването на съществуващия, тъй като основната част от откритите уязвимости произхожда от нов код.

Източник: opennet.ru