Открыт исходный код инструмента для выявления уязвимостей в коде C, C++

Открыт исходный код инструмента для выявления уязвимостей в коде C, C++

Открыт исходный код инструмента для выявления уязвимостей в коде C, C++

Компания Galois открыла исходный код своего набора инструментов, который помогает обнаруживать уязвимости в софте, написанном на языках C и C++. Проект под названием MATE получил поддержку Управления перспективных исследовательских проектов Министерства обороны США (DARPA).

MATE проводит статический анализ софта и может выявить баги в приложениях. В своей работе инструмент полагается на графическое представление исходного кода — Code Property Graph (CPG).

В набор инструментов включены несколько приложений: Flowfinder, MATE Notebooks, MATE POIs и Mantiserve. Flowfinder, например, предоставляет пользовательский интерфейс в браузере и помогает провести межпроцедурный анализ потоков данных.

Помимо этого, в наборе есть несколько автоматизированных анализаторов, предназначенных для детектирования уязвимостей, — Points of Interest (POIs). А Mantiserve поможет интегрировать CPG с инструментом Manticore для символьного выполнения.

По словам Galois, функциональность MATE поможет пользователям анализировать куски программ, которые слишком большие и сложные для простого символьного анализа. Кроме того, смежная задача MATE — помочь интеграции CPG и внедрению Python API в программы.

Linux 7.2 вышел с горой драйверов, но без статуса LTS

Разработчики выпустили Linux 7.2 после серии релиз-кандидатов. Исходный код уже доступен в официальном архиве, где версия указана как актуальный mainline-релиз от 16 августа. В стабильной ветке на момент публикации остаётся Linux 7.1.8. Главный объём изменений традиционно пришёлся на драйверы.

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

Ядро также расширяет поддержку новых процессоров, материнских плат, беспроводных адаптеров и SSD.

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

Однако наличие драйвера в Linux 7.2 не означает, что он завтра появится во всех дистрибутивах: разработчики Ubuntu, Debian и RHEL могут сохранить проверенные версии ядра или перенести в них отдельные исправления.

Изменения получили файловые системы и подсистема хранения данных. Разработчики улучшили параллельный доступ, обработку ошибок, очереди операций и работу сетевых и виртуальных блочных устройств.

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

В Linux 7.2 также доработаны KVM, поддержка процессорных архитектур, механизмы защиты памяти, контроля доступа, BPF и внутренней самозащиты ядра.

Версия не имеет статуса LTS, поэтому её жизненный цикл будет короче, чем у долгосрочных веток. Перед переходом администраторам следует проверить сторонние модули, драйверы, файловые системы и платформы виртуализации.

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