Syzygy: Dual Code-Test C to Rust Translation Using LLMs and Dynamic Analysis

arxiv.org

7 pointsbelter2 comments

Very interesting. I am wondering about the "level of translation". Is it using plain safe Rust or is it full of unsafe functions everywhere.

I planned to port LMDB to Rust by hand "just to see" and it was an awful work. There are too many defines and conditional compilations due to the nature of the work: interfacing different OS to write an on-disk B+Tree...

Hi, I'm one of the authors on the paper! The translation is to safe Rust and is expected to not contain any `unsafe` constructs. Regarding, rewriting LMDB: seems like an interesting case study to consider for us in the future.

Reply on news.ycombinator.com