Canonical финансирует PhD-проект по автоматизации перевода кода с C на Rust для Ubuntu Linux.

Проект рассчитан на три года и реализуется совместно с Университетом Бристоля и UK Research and Innovation.

И это не очередной вайбкод эксперимент в стиле "переведи мой C-код на Rust и не ошибись".

Здесь используется четырёхэтапный пайплайн:

* кодовая база разбивается на части с учётом зависимостей;
* перевод выполняется моделями, обученными на реальных примерах миграции с C на Rust;
* результат валидируется с помощью фаззинга и формальной проверки эквивалентности;
* затем для автоматического исправления расхождений используется символьное восстановление программ.

В качестве подопытных выбрали AppArmor и snap-confine – критически важные с точки зрения безопасности компоненты, которые поставляются в каждой установке Ubuntu.

Но пока это всё же исследовательский проект. Три года – долгий срок, а PhD-диссертация совсем не обязательно превратится в production-ready софт.

Тем не менее, если пайплайн валидации действительно покажет себя надёжным, это может стать новым трендом для автоматизации миграции Linux-проектов с C на Rust, как минимум в экосистеме Ubuntu.

@linuxos_tg