25 ранливости во RTOS Zephyr, вклучувајќи ги и оние кои се експлоатирани преку ICMP пакетот

Истражувачите од NCC Group објавено бесплатни резултати од ревизија на проектот Зефир, развивање оперативен систем во реално време (RTOS), насочен кон опремување на уреди кои се усогласени со концептот на Интернет на нештата (IoT, Интернет на нештата). При ревизијата беше откриено 25 ранливости во Zephyr и 1 ранливост во MCUboot. Зефир се развива со учество на компании од Интел.

Вкупно, идентификувани се 6 пропусти во стекот на мрежата, 4 во кернелот, 2 во командната школка, 5 во управувачите на системски повици, 5 во подсистемот USB и 3 во механизмот за ажурирање на фирмверот. Две прашања се оценети како критични, две се високи, 9 се умерени, 9 се ниски и 4 се за разгледување. Критичните проблеми влијаат на оџакот IPv4 и на анализаторот MQTT, а опасните влијаат на масовното складирање на USB и двигателите за USB DFU. Во времето на обелоденувањето на информациите, поправките беа подготвени само за 15 од најопасните проблеми што доведуваат до одбивање на услугата или поврзани со недостатоци во дополнителните механизми за заштита на јадрото.

Идентификувана е далечинска ранливост во оџакот IPv4 на платформата, што доведува до оштетување на меморијата при обработка на ICMP пакети модифицирани на одреден начин. Друг сериозен проблем беше пронајден во анализаторот на протоколот MQTT, кој е предизвикан од недостаток на соодветна проверка на должината на полето за заглавие и може да доведе до далечинско извршување на кодот. Помалку сериозни проблеми со одбивањето на услугата се наоѓаат во стекот IPv6 и имплементацијата на протоколот CoAP.

Други проблеми може да се искористат локално за да предизвикаат одбивање на услугата или да се изврши код на ниво на јадрото. Повеќето од овие пропусти се поврзани со недостатокот на соодветни проверки на аргументите за системски повик и може да доведат до произволни области на меморијата на кернелот да се запишуваат и од нив да се читаат. Проблемите се прошируваат и на самиот код за процесирање на системски повик - повикувањето негативен број на системски повик резултира со прелевање на цел број. Јадрото, исто така, идентификуваше проблеми во имплементацијата на ASLR заштита (рандомизација на просторот за адреси) и механизмот за поставување ознаки на канари на оџакот, што ги прави овие механизми неефикасни.

Многу проблеми влијаат на оџакот USB и на поединечните драјвери. На пример, проблемите во масовното складирање на USB може да предизвикаат прелевање на баферот и да го извршат кодот на ниво на јадрото кога уредот е поврзан со USB-домаќин контролиран од напаѓачот. Ранливост во USB DFU, двигател за вчитување нов фирмвер преку USB, ви овозможува да вчитате изменета слика на фирмверот во внатрешниот блиц на микроконтролерот без користење на шифрирање и заобиколување на режимот за безбедно подигање со проверка на компонентите со помош на дигитален потпис. Дополнително, беше проучен кодот за отворен подигнувач MCUboot, во која е пронајдена една бенигна ранливост,
што може да доведе до прелевање на баферот при користење на протоколот SMP (Simple Management Protocol) преку UART.

Потсетиме дека во Zephyr, за сите процеси е обезбеден само еден глобален споделен виртуелен адресен простор (SASOS, Single Address Space Operating System). Специфичен код за апликација е комбиниран со кернел специфичен за апликација за да формира монолитен извршна датотека што може да се вчита и да работи на специфичен хардвер. Сите системски ресурси се одредуваат во времето на компајлирање, намалувајќи ја големината на кодот и зголемувајќи ги перформансите. Сликата на системот може да ги вклучува само оние карактеристики на кернелот што се потребни за извршување на апликацијата.

Вреди да се одбележи дека меѓу клучните предности на Зефир споменати развој имајќи ја предвид безбедноста. Одобренодека сите фази на развој се подложени на задолжителни фази на потврдување на безбедноста на кодот: тестирање за заматување, статичка анализа, тестирање на пенетрација, преглед на код, анализа на имплементација на задна врата и моделирање закани.

Извор: opennet.ru