11 year old unsoundness bugs found in Rust borrow checker
An 11-year-old Rust borrow-checker unsoundness report draws heavy Hacker News attention.
Stories per day · 30 days
2 RSS
Relatedrust2compiler1github1group-borrowing1memory-safety1programming-languages1unsoundness1use-after-free1valen1
2 stories, newest first · one card per story
Stories tagged #borrow-checker
Valen's Memory Safety: A New Kind of Borrow Checking
Valen's group-borrowing checker aims to stop use-after-free with fewer restrictions than Rust-style borrow checking.
3