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

Любители Android уже получают запутанную установку APK, и она бесит всех

Google начала распространять новый расширенный сценарий установки приложений в обход Google Play. Один из пользователей Android уже получил обновлённый интерфейс и показал весь квест: подтвердить, что вас никто не принуждает, перезагрузить смартфон и подождать 24 часа.

Сначала система спрашивает, не попросил ли кто-нибудь разрешить установку сторонних APK.

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

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

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


Когда 24 часа истекут, пользователь сможет разрешить установку сторонних приложений на семь дней или бессрочно. Новый порядок не распространяется на установку через ADB, что оставляет технически подкованным владельцам Android запасной выход.

Google объясняет задержку борьбой с мошенничеством: пауза должна дать человеку время понять, действительно ли ему нужен неизвестный APK. Однако пользователи опасаются, что это лишь промежуточный этап перед дальнейшим ужесточением правил.

В опросе Android Authority 88% участников предположили, что Google продолжит закручивать гайки. Пока Android всё ещё позволяет ставить приложения не из фирменного магазина.

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