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

Фанаты Minecraft тайно скачали 24 ТБ истории сервера 2b2t

Фанаты Minecraft завершили один из самых безумных проектов цифровой археологии: они скачали и заархивировали 24 ТБ данных с легендарного сервера 2b2t. В архив вошла область размером 1 024 000 × 1 024 000 блоков в Overworld, а также части Nether и End.

2b2t — старейший и самый знаменитый анархический сервер Minecraft. Ему уже 16 лет, правил там почти нет, банов тоже, а культура соответствующая: разрушенные базы, выжженные ландшафты, следы старых войн и архитектурные руины всех эпох. Короче, не сервер, а цифровые Помпеи.

Проект работал годами. Участники потратили тысячи долларов, кучу времени и действовали максимально тихо. Причина простая: не всем игрокам 2b2t нравится идея, что их скрытые базы и неизведанные территории кто-то аккуратно складывает в архив. Если бы ботов архиваторов заметили, их, скорее всего, начали бы травить всем сервером.

В итоге команде удалось скачать несколько крупных регионов: миллион на миллион блоков Overworld, меньший участок Overworld, часть End и часть Nether. Теперь всё это планируют оформить в торрент. Правда, скачать такой сувенир на память смогут только самые терпеливые.

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

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