2026-09-25 digest

Automated C-to-Rust tools cut unsafe blocks without removing the memory bugs

ML research confirmed

  • Sources: paper, discussion
  • Summary: The paper runs C2Rust-analyze, CROWN, C2SaferRust, and FLOURINE over 116 buggy C programs from the NIST Juliet suite, producing 464 Rust programs. Of those, 342 failed to compile, 177 inherited the original memory security bugs, and 77 new Rust bugs appeared.
  • Why it matters: An unsafe-block count is the usual proxy for translation quality, and these numbers show it is not evidence that a translation improved memory security.

send feedback on this story