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
Проект рассчитан на три года и реализуется совместно с Университетом Бристоля и UK Research and Innovation.
И это не очередной вайбкод эксперимент в стиле "переведи мой C-код на Rust и не ошибись".
Здесь используется четырёхэтапный пайплайн:
* кодовая база разбивается на части с учётом зависимостей;
* перевод выполняется моделями, обученными на реальных примерах миграции с C на Rust;
* результат валидируется с помощью фаззинга и формальной проверки эквивалентности;
* затем для автоматического исправления расхождений используется символьное восстановление программ.
В качестве подопытных выбрали AppArmor и snap-confine – критически важные с точки зрения безопасности компоненты, которые поставляются в каждой установке Ubuntu.
Но пока это всё же исследовательский проект. Три года – долгий срок, а PhD-диссертация совсем не обязательно превратится в production-ready софт.
Тем не менее, если пайплайн валидации действительно покажет себя надёжным, это может стать новым трендом для автоматизации миграции Linux-проектов с C на Rust, как минимум в экосистеме Ubuntu.
@linuxos_tg