←back to thread

Compiling C to Safe Rust, Formalized

(arxiv.org)
278 points love2read | 1 comments | 20 Dec 24 23:30 UTC | HN request time: 0.206s | source
Show context
mbana ◴[21 Dec 24 09:11 UTC] No.42478433[source]▶
Can something like `C2Rust` then use this to generate formally correct code?

Also, is much of the authors did manual or was it run through something to produce the Rust code? If so, where is the code that generates Rust, I do not see any links to any source repos.

replies(1): >>42478474 #
1. zozbot234 ◴[21 Dec 24 09:19 UTC] No.42478474[source]▶
> If so, where is the code that generates Rust, I do not see any links to any source repos.

The paper states that these developments will be released under open source licenses after the review process is completed, i.e. most likely, after the paper is formally published.