Мозилла почиње са имплементацијом РЛБок технологије изолације библиотеке

Истраживачи са Универзитета Станфорд, Универзитета Калифорније у Сан Дијегу и Универзитета Тексаса у Остину развијена алата РЛБок, који се може користити као додатни изолациони слој за блокирање рањивости у библиотекама функција. РЛБок има за циљ да реши безбедносни проблем непоузданих библиотека трећих страна које нису под контролом програмера, али чије рањивости могу да угрозе главни пројекат.

Мозилла Цомпани планови користите РЛБок у Линук верзијама Фирефока 74 и мацОС верзијама Фирефока 75 да изолујете извршавање библиотеке графит, одговоран за приказивање фонтова. Међутим, РЛБок није специфичан за Фирефок и може се користити за изоловање било које библиотеке у произвољним пројектима. Развој РЛБок ширење под МИТ лиценцом. РЛБок тренутно подржава Линук и мацОС платформе, а подршка за Виндовс се очекује касније.

Механизам Рад РЛБок-а се своди на компајлирање Ц/Ц++ кода изоловане библиотеке у средњи ВебАссембли код ниског нивоа, који је затим дизајниран као ВебАссембли модул, чије су дозволе постављене само у односу на овај модул (на пример, библиотека за обраду стрингова неће моћи да отвори мрежну утичницу или датотеку) . Конвертовање Ц/Ц++ кода у ВебАссембли се врши помоћу васи-сдк.

За директно извршење, ВебАссембли модул се компајлира у машински код помоћу компајлера Луцет и ради у посебном „нанопроцесу“ изолованом од остатка меморије апликације. Луцет компајлер је заснован на истом коду као и ЈИТ мотор Дизалица, који се користи у Фирефок-у за извршавање ВебАссембли-а.

Састављени модул ради у посебној меморијској области и нема приступ остатку адресног простора. Ако се рањивост у библиотеци искористи, нападач ће бити ограничен и неће моћи да приступи меморијским областима главног процеса или да пренесе контролу ван изолованог окружења.

За програмере су обезбеђене информације високог нивоа АПИ за, што вам омогућава да позовете функције библиотеке у изолованом режиму. ВебАссембли руковаоци не захтевају скоро никакве додатне ресурсе и интеракција са њима није много спорија од позивања обичних функција (библиотечке функције се извршавају у облику изворног кода, а општи трошкови настају само приликом копирања и провере података током интеракције са изолованим окружењем). Изоловане библиотечке функције се не могу директно позвати и мора им се приступити помоћу
слој инвоке_сандбок_фунцтион().

Заузврат, ако је потребно позвати екстерне функције из библиотеке, ове функције морају бити експлицитно дефинисане помоћу методе регистер_цаллбацк (подразумевано, РЛБок обезбеђује приступ функцијама стандардна библиотека). Да би се осигурала безбедност меморије, изолација извршења кода није довољна и захтева и проверу враћених токова података.

Вредности генерисане у изолованом окружењу су означене као непоуздане и ограничене употребе укаљане ознаке а за „чишћење” им је потребно верификација и копирање у меморију апликације.
Без чишћења, покушај коришћења заражених података у контексту који захтева редовне податке (и обрнуто) доводи до генерисања грешака у време компајлирања. Аргументи малих функција, повратне вредности и структуре се прослеђују копирањем између меморије процеса и меморије сандбок-а. За велике скупове података, меморија се додељује у изолованом окружењу и директни референтни показивач сандбок-а се враћа главном процесу.

Извор: опеннет.ру