DARPA хочет автоматически преобразовывать код на C в Rust с помощью ИИ

Министерство обороны США запустило проект DARPA по разработке инструментов машинного обучения для автоматизации преобразования устаревшего кода на языке C в Rust, с целью улучшения безопасности памяти в программном обеспечении. Ошибки безопасности памяти, такие как переполнение буфера, являются основными источниками уязвимостей в крупных кодовых базах. Инициатива DARPA использует модели ИИ для улучшения перевода языка программирования, стремясь к более безопасному программному обеспечению. Дэн Уоллач, менеджер программы DARPA, подчеркивает текущие возможности чат-ботов ИИ в переводе кода с C на Rust, но отмечает необходимость значительного улучшения точности перевода для критически важных конструкций программы. Сообщество разработчиков программного обеспечения признает постоянные проблемы безопасности памяти в C и C++, с общим мнением о необходимости более безопасных языков, таких как Rust. Управление национального кибердиректора также подчеркивает необходимость в более эффективных мерах безопасности, выходящих за рамки инструментов поиска ошибок. Питер Моралес, генеральный директор Code Metal, поддерживает потенциальный эффект этого проекта на кибербезопасность, отмечая значительное внимание к безопасности памяти. Уоллач описывает Rust как язык, налагающий строгие правила, которые в конечном счете обеспечивают свободу и безопасность для разработчиков. Моралес также признаетchallenge в решении множества граничных случаев в процессе перевода. Некоторые проекты, такие как ядро Linux, исключены из-за технических несовместимостей с Rust.