Canonical и Бристольский университет разработают транслятор с Си на Rust для крупных кодовых баз

Цель — переводить большие репозитории (сотни тысяч строк) в безопасное и сопровождаемое Rust-представление. Технология будет опробована на пакетах AppArmor и snap-confine.

Инструментарий использует гибридную модель, комбинирующую машинное обучение с классическим анализом, тестированием и формальной верификацией. Крупные кодовые базы разделяются на фрагменты, транслируемые независимо с сохранением контекста. AI обучается на уже переведённых проектах для генерации корректных Rust-абстракций вместо прямого переписывания Си-конструкций. Также будут предоставлены средства проверки с fuzzing-тестированием и отладкой.

Необходимость нового подхода объясняется тем, что ручной перевод трудоёмок и теряет оптимизации, традиционные трансляторы создают небезопасный код, а AI-модели плохо масштабируются на крупные репозитории.

Linux / Линукс 🥸