Rust е вклучен меѓу главните јазици за развој на платформата Android

Google најави вклучување на програмскиот јазик Rust меѓу јазиците дозволени за развој на платформата Android. Јазичниот компајлер Rust беше вклучен во изворното дрво на Android уште во 2019 година, но поддршката за овој јазик остана експериментална. Некои од првите Rust компоненти планирани за Android вклучуваат нови имплементации на механизмот за меѓупроцесна комуникација Binder и стекот Bluetooth.

Воведувањето на Rust беше спроведено како дел од проектот за зајакнување на безбедноста, промовирање безбедни техники за програмирање и зголемување на ефикасноста на идентификување проблеми при работа со меморија во Android. Забележано е дека околу 70% од сите опасни пропусти идентификувани во Android се предизвикани од грешки при работа со меморија. Користењето на Rust, кое се фокусира на безбедноста на меморијата и автоматското управување со меморијата, ќе го намали ризикот од ранливости предизвикани од грешки во меморијата, како што се по-слободен пристап и пречекорувања на баферот.

Rust ја наметнува безбедноста на меморијата во времето на компајлирање преку проверка на референци, сопственост на објектот и следење на животниот век на објектот (обеми) и со проценка на исправноста на пристапите до меморијата при извршување. Rust, исто така, обезбедува заштита од прелевање на цели броеви, бара вредностите на променливите да се иницијализираат пред употреба, има подобро справување со грешки во стандардната библиотека, стандардно го користи концептот на непроменливи референци и променливи и нуди силно статичко пишување за да се минимизираат логичките грешки.

Во Android, безбедноста на меморијата е обезбедена на веќе поддржаните јазици Kotlin и Java, но тие не се погодни за развој на компоненти на системот поради високите трошоци. Rust овозможува постигнување перформанси блиски до јазиците C и C++, што овозможува да се користи за развој на делови од платформата на ниско ниво и компоненти за интеракција со хардверот.

За да се осигури безбедноста на кодот C и C++, Андроид користи изолација на sandbox, статичка анализа и тестирање за заматување. Можностите за изолација на песокот се ограничени и ја достигнаа границата на нивните можности (натамошната фрагментација во процеси е непрактично од гледна точка на потрошувачката на ресурси). Ограничувањата на користењето на sandbox вклучуваат големи трошоци и зголемена потрошувачка на меморија предизвикана од потребата за создавање нови процеси, како и дополнителни одложувања поврзани со употребата на IPC.

Во исто време, sandbox не ги елиминира пропустите во кодот, туку само ги намалува ризиците и го комплицира нападот, бидејќи експлоатацијата бара идентификација не на една, туку на неколку пропусти. Методите засновани на тестирање на кодот се ограничени по тоа што за да се идентификуваат грешките, неопходно е да се создадат услови за проблемот да се манифестира. Не е можно да се опфатат сите можни опции, така што многу грешки остануваат незабележани.

За системските процеси во Android, Google се придржува до „правилото на два“, според кое секој додаден код мора да исполнува не повеќе од два од трите услови: работа со невалидирани влезни податоци, користење небезбеден програмски јазик (C/C++) и работи без строга изолација на песокот (има зголемени привилегии). Ова правило имплицира дека кодот за обработка на надворешни податоци мора или да се сведе на минимални привилегии (изолиран) или да биде напишан на безбеден програмски јазик.

Google нема за цел да го преработи постоечкиот C/C++ код во Rust, туку планира да го користи овој јазик за да развие нов код. Има смисла да се користи Rust за нов код бидејќи, статистички, повеќето грешки се појавуваат во новиот или неодамна променет код. Конкретно, околу 50% од откриените грешки во меморијата во Android се откриени во кодот напишан пред помалку од една година.

Извор: opennet.ru