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

Цифровой рубль будет бесплатным для граждан, ЦБ отменил комиссии

Россиянам не придётся платить комиссии за операции с цифровым рублём. Переводы и платежи для граждан будут полностью бесплатными, заявила директор департамента национальной платёжной системы ЦБ Алла Бакина. Бизнесу избежать комиссий не удастся, но регулятор обещает минимальные тарифы (ниже банковских расценок за аналогичные операции).

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

На главной странице приложения должна появиться отдельная кнопка с логотипом новой формы валюты.

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

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

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

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