c2rust и любой продукт на C станет безопасным на Rust
Я натравливал c2rust на nuklear, он не понимал flexible array members (или как их там). Когда это поправил руками, что-то в первом приближении нарисовалась, но крашилось постоянно. На этом я прекратил эксперимент.