News for hackers. Stuff that matters.
Re:Making Rust a Better Fit for Cheri and Other Platforms by connicpu on Thursday April 14, 2022 @12:00PM (#31028719)
You'd still need access to the capability interface to perform that checking at the unsafe/safe boundary
Re:Making Rust a Better Fit for Cheri and Other Platforms by saagarjha on Friday April 15, 2022 @08:24AM (#31039380)
Correct, but once you've done that you can strip the capability information and pass the raw address around to the safe code because the compiler runs validation.