PKRU-safe
Paul Kirth, Mitchel Dickerson, Stephen J. Crane, Per Larsen, Adrian Dabrowski, David R. Gens, Yeoul Na, Stijn Volckaert, Michael M. Franz · 2022
After more than twenty-five years of research, memory safety violations remain one of the major causes of security vulnerabilities in real-world software. Memory-safe languages, like Rust, have demonstrated that compiler technology can assist developers in writing efficient low-level code without the risk of memory corruption. However, many memory-safe languages still have to interface with unsafe code to some extent, which opens up the possibility for attackers to exploit memory-corruption vulnerabilities in the unsafe part of the system and subvert the safety guarantees provided by the memory-safe language.