Поиск ошибок в C-расширениях Python с помощью LLM

Исследователи предлагают использовать языковые модели для автоматического поиска уязвимостей и ошибок в низкоуровневых C-модулях Python. Это пример практического применения генеративного ИИ в задачах верификации кода и отладки системных компонентов. Подход позволяет выявлять сложные проблемы, не обнаруживаемые стандартными тестами.