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

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

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

Источник: https://www.opennet.ru/opennews/art.shtml?num=61656