Original link: Boffins carve up C so code can be converted to Rust / TheRegister.
It is no surprise that it is easier to convert safe C to Rust than to convert any C to Rust.
But this conversion tool now exist, while a general tool does not.