Mozilla започнува со имплементација на технологијата за изолација на библиотеката RLBox

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

Компанијата Мозила планови користете го RLBox во изградбите на Linux на Firefox 74 и macOS изградбите на Firefox 75 за да го изолирате извршувањето на библиотеката графитОдговорен за рендерирање фонтови. Во исто време, RLBox не е специфичен за Firefox и може да се користи за да се изолираат сите библиотеки во произволни проекти. Случувања RLBox ширење под лиценцата MIT. RLBox моментално поддржува Linux и macOS платформи, а поддршката за Windows се очекува подоцна.

Механизам Работата на RLBox се сведува на компајлирање на кодот C / C ++ на изолираната библиотека во среден код WebAssembly на ниско ниво, кој потоа се форматира како модул WebAssembly, чиишто дозволи се поставени само во однос на овој модул ( на пример, библиотеката за обработка на низи нема да може да отвори мрежен приклучок или датотека) . Конвертирањето на кодот C/C++ во WebAssembly се врши со користење васи-сдк.

За директно извршување, модулот WebAssembly се компајлира во мајчин код користејќи компајлер Лусет и работи во посебен „нанопроцес“ изолиран од остатокот од меморијата на апликацијата. Компајлерот Lucet се базира на истиот код како и JIT моторот КрејнлифтШто се користи од Firefox за извршување на WebAssembly.

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

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

За возврат, ако треба да се повикаат надворешни функции од библиотеката, овие функции мора да бидат експлицитно дефинирани со користење на методот register_callback (по дифолт, RLBox обезбедува пристап до функциите стандардна библиотека). За да се обезбеди безбедност на меморијата (безбедност на меморијата), изолацијата на извршувањето на кодот не е доволна и исто така е неопходно да се обезбеди верификација на вратените текови на податоци.

Вредностите генерирани во изолирана средина се означени како недоверливи, ограничени со извалкани-ознаки а за „чистење“ бараат верификација и копирајте во меморијата на апликацијата.
Без чистење, обидот да се користат расипани податоци во контекст кој бара редовни податоци (и обратно) резултира со грешки во времето на компајлирање. Мали функционални аргументи, повратни вредности и структури се пренесуваат преку копирање помеѓу процесната меморија и меморијата на песокот. За големи збирки на податоци, меморијата се доделува во изолирана средина, а директниот покажувач за „референтна кутија за песок“ се враќа во главниот процес.

Извор: opennet.ru