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

Правительство России заметно снизило планку импортозамещения электроники для цифровой трансформации госуправления. Раньше к 2030 году долю отечественного оборудования собирались довести до 80%, теперь хватит и 58,7%. Изменения закреплены распоряжением премьер-министра Михаила Мишустина №1779-р.

Обновлённый график выглядит без особого размаха: 57,9% российской электроники в 2026 году, 58,4% — в 2027-м и 58,7% — с 2028-го по 2030 год, пишет CNews.

Иными словами, к концу десятилетия около 41,3% оборудования в государственных цифровых проектах всё ещё сможет быть импортным или не иметь статуса российского.

В Минцифры сообщили, что новые показатели предложил Минпромторг, отвечающий за развитие электронной промышленности. Само ведомство пересмотр цели пока не комментировало.

Эксперты считают прежние 80% слишком оптимистичным ориентиром. Для его достижения России понадобился бы почти полный производственный цикл: от материалов и оборудования до современных микросхем. Но санкции и отсутствие доступа к передовым литографическим технологиям внесли в планы свои технические характеристики.

Есть и более прозаичная причина — деньги. По сведениям источников CNews, Минпромторг перенёс или отменил несколько крупных проектов в области электронного машиностроения и материалов для производства чипов. Финансирование госпрограммы развития электронной промышленности также сократили.

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

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

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