🌟 DARPA развивает AI-транслятор для переписывания Си-кода на Rust

Управление перспективных исследовательских проектов Министерства обороны США (DARPA) представило проект TRACTOR (Translating All C to Rust), нацеленный на разработку транслятора для автоматического преобразования проектов на языке Си в представление на языке Rust. В рамках проекта планируется улучшить качество автоматического перевода кода с Си на Rust, задействовав методы машинного обучения для достижения уровня результирующего кода на Rust, близкого по стилю и качеству к коду, написанному опытным программистом, и использующего, когда это возможно, безопасные методы для работы с памятью без включения блоков и функций, помеченных ключевым словом "unsafe".

Предполагается, что развиваемый транслятор позволит решить проблему с безопасностью старого кода на языке Си и избавиться от потенциальных уязвимостей, вызванных небезопасной работой с памятью и неопределённым поведением. Для участия в проекте приглашаются исследователи, развивающие новые методы для трансляции кода с использованием больших языковых моделей, а также техники статического и динамического анализа кода. 26 августа будет провоедено мероприятие, на котором будет рассмотрены предлагаемые идеи.


https://sam.gov/opp/1e45d648886b4e9ca91890285af77eb7/view

@rust_code