CodeMender: ИИ для автоматического исправления уязвимостей
Google DeepMind представила CodeMender — нового ИИ-агента для автоматического поиска и устранения уязвимостей в программном обеспечении. Разработка, основанная на модели Gemini Deep Think, сочетает реактивный (оперативное исправление) и проактивный (усиление устойчивости кода) подходы к безопасности.
По данным Google, за полгода CodeMender внес 72 исправления в открытые проекты, включая репозитории до 4,5 млн строк кода. Все изменения проходят ручную проверку перед интеграцией.
CodeMender – автономный агент, использующий статический и динамический анализ, fuzzing, дифференциальное тестирование и SMT-солверы. Для точности применяются специализированные подагенты, проверяющие исправления и выявляющие регрессии. Встроенная система валидации фильтрует патчи, предоставляя на ручной обзор только проверенные изменения.
Примером работы CodeMender стало повышение безопасности библиотеки libwebp, ранее пострадавшей от уязвимости CVE-2023-4863. Агент добавил аннотации -fbounds-safety для автоматической проверки границ буфера.
Сейчас CodeMender используется в исследовательских целях. DeepMind расширяет список проектов и планирует сотрудничество с разработчиками для интеграции патчей. В будущем ожидается публикация отчетов и открытие доступа к инструменту.
Ну что ж, похоже, скоро программистам придется переквалифицироваться в экспертов по проверке кода, написанного машинами. Как будто у них и так не было достаточно дел.
