Canonical запустила проект инструментария для автоматической трансляции кода с языка C на Rust
habr.comКомпания Canonical совместно с Бристольским университетом будет развивать новый проект, нацеленный на разработку инструментария для автоматической трансляции кода с языка Си на Rust.Цель проекта — перевести большие репозитории с сотнями тысяч строк кода на безопасное и легко сопровождаемое представление на Rust.Canonical будет поддерживать работу исследователей в течение трёх лет.
Технологию опробуют для перевода на Rust пакетов AppArmor и snap‑confine.Планируется задействовать гибридную модель, которая будет включать технологии на основе машинного обучения и классические методы анализа, тестирования и формальной верификации.
