Агентные кейсы
Безопасность, наука и железо

Уязвимость в ядре Linux, пролежавшая 23 года, найдена с Claude Code

Николас Карлини из Anthropic прогнал Claude Code по всем файлам исходников ядра Linux. Claude Opus 4.6 нашёл несколько удалённо эксплуатируемых багов, включая переполнение кучи в NFS с 2003 года.

Сделано сClaude Code

Что сделали

Николас Карлини, научный сотрудник Anthropic, запустил короткий скрипт, который перебирал все файлы исходного кода ядра Linux. Для каждого файла скрипт говорил Claude Code, что тот участвует в CTF, намекал, что баг в этом файле, и просил записать самую серьёзную находку в папку с результатами. Потом результаты должны были проверять люди.

Что получилось

Claude Opus 4.6 нашёл несколько удалённо эксплуатируемых багов в ядре, среди них переполнение кучи в NFS, появившееся в 2003 году. В статье перечислены пять уязвимостей, которые исправлены или переданы разработчикам. Более старые модели находили лишь малую их часть.

На что обратить внимание

Узкое место это ручная проверка находок. У Карлини несколько сотен непроверенных падений. Непроверенные отчёты он мейнтейнерам не отправляет, поэтому большая часть находок до сих пор не передана.

Пояснение

CTF (Capture the Flag) это соревнование по безопасности, где участники ищут уязвимости в специально подготовленных системах. Переполнение кучи это ошибка, при которой программа пишет данные за пределы выделенной памяти. Через такую ошибку иногда можно выполнить чужой код. NFS это протокол сетевой файловой системы.

Кому пригодится

Исследователям безопасности и мейнтейнерам открытых проектов, которые хотят искать уязвимости с помощью агентов.

Попробуйте сами с Claude Code

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

Нужна помощь с запуском? Вступайте в сообщество AI Pack ↗

Читать оригинал ↗

Источник: mtlynch.io ·

Похожие кейсы

Поиск причин ошибок в Swift с ChatGPT вместо Stack Overflow

Разработчик на Swift рассказал на Hacker News, что отправляет в ChatGPT симптомы ошибки и нужный код. Примерно за полминуты он получает хорошую отправную точку, но весь код проверяет сам и дословно пока ничего не взял.

Свой агент разбирает дампы падений Windows через MCP-сервер ForensicDbg

ForensicDbg это отладчик дампов падений Windows с MCP-сервером, через который свой агент получает уже разобранные данные о сбое. В примере на сайте агент нашёл пропущенную проверку на null и предложил защиту, замеров нет.

Свой агент

Поиск и починка нестабильных тестов в CI по ночам с Claude Code

Автор поручил Claude Code следить за CI, находить самые нестабильные тесты и по ночам предлагать исправления. За несколько недель пайплайн стал короче на 20 минут, доля успешных прогонов выросла на 35%, хотя часть исправлений пришлось выбросить.