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

Яндекс Карты теперь показывают ограничения скорости и направление камер

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

Раньше приложение отображало разрешённую скорость только на текущем отрезке дороги.

Теперь на маршруте появится последовательность ограничений. Например, Карты предупредят, что сначала разрешено ехать 80 км/ч, после развязки — 60 км/ч, а затем — 40 км/ч.

Это позволит заранее и плавно снизить скорость, не устраивая экстренное торможение у знака. В Яндексе заявили, что пилотное тестирование функции уже показало её положительное влияние на соблюдение скоростного режима.

 

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

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

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

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