tgoop.com/rust_code/673
Last Update:
Управление перспективных исследовательских проектов Министерства обороны США (DARPA) представило проект TRACTOR (Translating All C to Rust), нацеленный на разработку транслятора для автоматического преобразования проектов на языке Си в представление на языке Rust. В рамках проекта планируется улучшить качество автоматического перевода кода с Си на Rust, задействовав методы машинного обучения для достижения уровня результирующего кода на Rust, близкого по стилю и качеству к коду, написанному опытным программистом, и использующего, когда это возможно, безопасные методы для работы с памятью без включения блоков и функций, помеченных ключевым словом "unsafe".
Предполагается, что развиваемый транслятор позволит решить проблему с безопасностью старого кода на языке Си и избавиться от потенциальных уязвимостей, вызванных небезопасной работой с памятью и неопределённым поведением. Для участия в проекте приглашаются исследователи, развивающие новые методы для трансляции кода с использованием больших языковых моделей, а также техники статического и динамического анализа кода. 26 августа будет провоедено мероприятие, на котором будет рассмотрены предлагаемые идеи.
https://sam.gov/opp/1e45d648886b4e9ca91890285af77eb7/view
@rust_code