900 гипотез об уязвимостях и 12 миллиардов токенов

Автор статьи делится опытом исследования безопасности языка Rust, начав с разработки высокопроизводительного сетевого приложения. Столкнувшись с необходимостью проверки кода на уязвимости, он создал собственный исследовательский конвейер «rust-in-peace». В процессе работы были проанализированы ошибки, допускаемые как разработчиками, так и современными языковыми моделями (LLM). Исследование включало создание сигнатур для SAST-инструментов, поиск багов в популярных библиотеках и даже подготовку патча для ядра Linux. Автор подробно описывает, как использование агентов и автоматизированных систем проверки помогло выявить сотни гипотетических уязвимостей, используя 12 миллиардов токенов для анализа. Статья представляет собой глубокий технический разбор того, как современные инструменты автоматизации могут быть применены для обеспечения безопасности памяти и поиска критических ошибок в коде на Rust, а также подводит итоги выступления автора на конференции ZeroNights.