DARPA project for automated translation from C to Rust (2024)
via darpa.mil
Short excerpt below. Read at the original source.
Article URL: https://www.darpa.mil/news/2024/memory-safety-vulnerabilities Comments URL: https://news.ycombinator.com/item?id=45443368 Points: 18 # Comments: 1