News for hackers. Stuff that matters.

A comment on DARPA: Translating All C to Rust (Tractor). Parent comment

Re:DARPA: Translating All C to Rust (Tractor) by the8472 on Tuesday July 30, 2024 @03:13PM (#41113036)
Write tests for your C code. Run c2rust (mechanical translation), including the tests. Let a LLM/MCTS/verifier loop go to town. Verifier here means it passes compiler checks, tests, santiziers and miri.

Additional training data can be generated by running mrustc or by inlining unsafe code (from std/core/leaf crates) into safe code and running semantics-preserving mechanical refactorings on the code.

This can be closer to AlphaProof than ChatGPT

[ Parent | on HN ]
Re:DARPA: Translating All C to Rust (Tractor) by astrange on Tuesday July 30, 2024 @09:42PM (#41115768)
You could already use ASAN + UBSan, or Frama-C.
[ Parent | on HN ]
Re:DARPA: Translating All C to Rust (Tractor) by the8472 on Wednesday July 31, 2024 @04:13AM (#41117275)
[delayed]
[ Parent | on HN ]
Re:DARPA: Translating All C to Rust (Tractor) by TestingWithEdd on Wednesday July 31, 2024 @12:55AM (#41116481)
Essentially neural program synthesis
[ Parent | on HN ]