70% од безбедносните проблеми во Chromium се предизвикани од грешки во меморијата

Програмери на проектот Chromium анализирани Идентификувани 912 високоризични и критични пропусти во стабилните изданија на Chrome од 2015 година и заклучија дека 70% од нив се предизвикани од несигурност на меморијата (грешки при работа со покажувачи во кодот C/C++). Половина од овие проблеми (36.1%) се предизвикани од пристапите до баферот по ослободувањето на меморијата поврзана со него (користење-по-слободно).

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

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

За понатамошно подобрување на безбедноста на базата на кодови, започна проект за да се спречи појавување на грешки во меморијата во базата на кодови. Постојат три главни пристапи: создавање библиотеки C++ со функции за безбедно функционирање на меморијата и проширување на опсегот на собирачот на ѓубре, користејќи механизми за хардверска заштита MTE (Екстензија за означување на меморија) и пишување компоненти на јазици кои обезбедуваат безбедна работа со меморија (Јава, Котлин, JavaScript, Rust, Swift).

Се очекува работата да биде фокусирана во две области:

• Значајна промена во процесот на развој на C++, што не исклучува негативно влијание врз перформансите (дополнителни проверки на границите и собирање ѓубре). Наместо сурови покажувачи, се предлага да се користи типот ЧудоПтр, што ви овозможува да ги намалите грешките што може да се искористат до падови што не претставуваат безбедносна закана, без забележливо негативно влијание врз перформансите, потрошувачката на меморија и стабилноста.
• Употребата на јазици дизајнирани да вршат проверки за безбедност на меморијата во времето на компајлирање (ќе го елиминира негативното влијание врз перформансите својствени за таквите проверки за време на извршувањето на кодот, но ќе доведе до дополнителни трошоци за организирање на интеракцијата на кодот на нов јазик со код во C++).

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

Извор: opennet.ru