TRACTOR: Translate All C To Rust

[vak]

У нас тут большие дяди обеспокоились надёжностью софта и понукают программистов всё переписать. Мало того, разработать автоматический конвертер исходных текстов из Си в Rust.

darpa.mil/program/translating-all-c-to-rust

Вот ведь наивные чуваки. Это как автоматически переделать нотную запись из Баха или Моцарта в рэгги. 😀

Вопросы и ответы: TRACTOR Q&A v21.pdf

Comments

[mopexod]

Это был бы удивительный проект, учитывая растовские референсы, с которыми даже связный список написать непросто.
Я понимаю, что очень-очень хочется, но выглядит совершенно утопично.

[vak]

Путь для начала что-нибудь простое переделают с Си на Rust формальным преобразованием. Хоть /bin/echo к примеру.

[chabapok]

а 'ls' не устроит? https://github.com/Truthixify/rust-ls
или

https://github.com/maxdesalle/ls

я не знаю, почему они все ринулись ls переписывать

[vak]

Но это ведь реализации ls, написанные с нуля, верно?
А вовсе не преобразованием Си-шного кода.

[chabapok]

наверное с нуля