Null reference as insta-UB
Null reference as insta-UB
Posted Aug 21, 2024 22:07 UTC (Wed) by riking (subscriber, #95706)In reply to: Null reference as insta-UB by mb
Parent article: Standards for use of unsafe Rust in the kernel
The validity invariant is the things that unsafe code can't ever do. The safety invariant is the things it can be careful about and can't let escape to uncontrolled safe code.