Исследователь нашел 900 уязвимостей в Rust через ИИ-модели

Разработчик sgordey опубликовал на Хабре анализ 900 гипотез об уязвимостях в коде на Rust, обнаруженных с помощью ИИ-моделей и собственного инструмента rust-in-peace. Исследование началось с попытки разобраться в типичных ошибках при переходе на Rust и выросло в проект с SAST-сигнатурами, находками в библиотеках и патчем для ядра Linux.

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