Открыт исходный код инструмента для выявления уязвимостей в коде 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 в программы.

Алиса AI выселила Марусю из списка обязательных приложений

Власти России утвердили перечень программ, которые производители и продавцы должны будут предварительно устанавливать на смартфоны, планшеты и компьютеры в 2027 году. Революции не случилось, но без перестановки среди голосовых помощников не обошлось: «Марусю» от VK заменит «Алиса AI» от «Яндекса».

В остальном набор для смартфонов и планшетов почти не изменился. В него вошли «Яндекс.Браузер», «Яндекс с Алисой», «Яндекс.Карты» и 2ГИС, а также «ВКонтакте», «Одноклассники», «VK Видео» и «Дзен».

На месте остались «Госуслуги», платёжный сервис Mir Pay, облачное хранилище «Яндекс.Диск», офисный пакет «МойОфис» и «Почта Mail.ru». За безопасность будет отвечать антивирус «Лаборатории Касперского», за приложения — RuStore, за книги — «ЛитРес», а за переписку — мессенджер МАКС.

Список обязательного софта для компьютеров оказался заметно короче. На десктопах предписано устанавливать «Яндекс.Браузер», «МойОфис» и антивирус «Лаборатории Касперского».

Таким образом, в 2027 году покупателя снова встретит знакомый набор отечественных сервисов. Главная интрига решилась без долгих проводов: «Маруся» покидает обязательную программу, а её место занимает «Алиса AI».

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