search
Rust borrow checker
Trends
- 111-year-old unsoundness bugs found in Rust borrow checker●11 year old unsoundness bugs found in Rust borrow checker
Two unsoundness bugs that have existed in the Rust borrow checker for roughly 11 years have been reported and filed in the Rust compiler's issue tracker on GitHub. The bugs allow code to bypass Rust's memory-safety guarantees, undermining the language's core promise. The discovery has drawn attention from the programming community, with discussion focusing on how long such issues can survive in a language built around safety.
Repos
- rust-lang/rust Empowering everyone to build reliable and efficient software.