Около 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++, а борбата с грешките в него се извършва чрез фузинг тестове, статичен анализ и прилагане на техники при разработката, подобни на използването на 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