Муҳандисони Google аввалин натиҷаҳои татбиқи онро дар платформа ҷамъбаст карданд Android дастгирии рушд дар забони руст. Android 13 Тақрибан 21% рамзи нав тартибдодашуда бо забони Rust ва 79% бо забони C/C++ навишта шудааст. Дар анбори AOSP (Android Лоиҳаи кушодаасос), ки рамзи сарчашмаи платформаро таҳия мекунад Android, дар Rust тақрибан 1.5 миллион сатри код мавҷуд аст, ки ба ҷузъҳои нав, аз қабили нигоҳдории калидҳои криптографии Keystore2, стек барои чипҳои UWB (Ultra-Wideband), татбиқи протоколи DNS-over-HTTP3, чаҳорчӯбаи виртуализатсияи AVF алоқаманданд.Android Чаҳорчӯбаи виртуализатсия), стекҳои таҷрибавӣ барои Bluetooth ва Wi-Fi.
Тибқи стратегияи қаблан қабулшудаи коҳиш додани хатари осебпазирӣ дар натиҷаи хатогиҳо дар кор бо хотира, забони Rust дар айни замон асосан дар таҳияи коди нав ва тадриҷан таҳкими амнияти ҷузъҳои осебпазир ва ҳаётан муҳими нармафзор истифода мешавад. Ҳадафи умумии интиқоли тамоми платформа ба Rust вуҷуд надорад ва рамзи кӯҳна дар C/C++ боқӣ мемонад ва мубориза бо хатогиҳо дар он тавассути истифодаи санҷиши фуҷур, таҳлили статикӣ ва истифода дар таҳияи усулҳои шабеҳи бо истифода аз навъи MiraclePtr (пайваст кардани нишондиҳандаҳои хом, анҷом додани санҷишҳои иловагӣ барои дастрасӣ ба минтақаҳои хотираи озод), системаи тақсимоти хотираи 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
