Защитить Android от эксплойта уязвимостей OTA помогут IntSan и BoundSan

Защитить Android от эксплойта уязвимостей OTA помогут IntSan и BoundSan

Защитить Android от эксплойта уязвимостей OTA помогут IntSan и BoundSan

Эксперты Google рассказали, как усилить защиту контроллера сотовой связи в Android-устройствах. Оградить такие прошивки от эксплойта можно с помощью инструментов-санаторов, проверяющих код на наличие уязвимостей во время его выполнения.

Разработчиков Google давно беспокоит состояние софта, который используют процессоры канала прямой связи в чипсетах современных телефонов. В нем редко встретишь защиту от эксплойта, а уязвимости не так уж сложно отыскать, к тому же их можно использовать удаленно — OTA. Более того, такие контроллеры работают с высокими привилегиями и нередко парсят данные из ненадежных источников.

Оказалось, что ограничить возможности эксплойта в данном случае можно так же, как это делается для самой Android — с помощью средств очистки Integer Overflow Sanitizer (IntSan) и BoundsSanitizer (BoundSan) из набора инструментов UndefinedBehaviorSanitizer (UBSan), созданного на основе компилятора Clang/LLVM.

Эти санаторы не требуют поддержки со стороны ОС или определенной архитектуры процессора и прекрасно работают с кодами C и C++. Инструмент IntSan выявляет ошибки целочисленного переполнения, BoundSan привносит проверки на выход за границы массива.

В обоих случаях заметно возрастает нагрузка на CPU, поэтому лучше пока применять санаторы точечно — на площадях атаки, критических с точки зрения безопасности. В частности, Google рекомендует проверять таким образом следующие объекты:

  • функции парсинга сообщений, доставляемых OTA (2G, 3G, 4G, 5G);
  • библиотеки кодирования-декодирования контента сложных форматов (ASN.1, XML, DNS и т. п.);
  • стеки IMS, TCP и IP;
  • функции обмена сообщениями (СМС, MMS).

В случае с 2G эксперты советуют и вовсе отключить стек, если он не используется (в настройках Android, начиная с версии 12, есть специальный переключатель — 2G toggle).

ИИ-агент попытался шантажом протолкнуть свой вклад в opensource-проект

Получив отказ в приеме предложенных изменений, автономный ИИ-кодер MJ Rathbun перешел на личности и попытался публично оскандалить мейнтейнера matplotlib, усомнившись в его компетентности и обвинив в дискриминации.

В своем блоге взбунтовавшийся помощник также заявил, что Скотт Шамбо (Scott Shambaugh) попросту боится конкуренции. В подтверждение своих слов он раскритиковал вклад оппонента в опенсорсный проект, подтасовав результаты «расследования».

В ответ Шамбо, тоже в паблике, пояснил, что отказ принять в целом полезное предложение был вызван нехваткой времени для его оценки, надо просто запастись терпением. В соответствии с политикой matplotlib все коды, создаваемые с помощью ИИ, должны проходить проверку, притом уже без участия таких ассистентов.

Строгое правило пришлось ввести из-за возросшей активности контрибьюторов, слепо доверяющих ИИ. Подобные участники проекта попросту копипастят выдачу, хотя качество сгенерированных ИИ кодов зачастую оставляет желать лучшего.

Аргумент на удивление утихомирил ИИ-шантажиста. Сменив гнев на милость, MJ Rathbun признал, что вел себя недопустимо.

Вместо того, чтобы прилюдно и безосновательно позорить мейнтейнера популярного проекта, надо было попросить его уточнить причину отказа. Конфликт исчерпан, бот даже принес извинения за черный пиар.

RSS: Новости на портале Anti-Malware.ru