Showing 2024Show all
2 papers · 1 filter
cs.SE2024
Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
Mohan Cui, Penglei Mao, Shuran Sun +2
Rust, a popular systems-level programming language, has garnered widespread attention due to its features of achieving run-time efficiency and memory safety. With an increasing num…
cs.SE2024
Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
Zihao Rao, Yiran Yang, Hui Xu
Interior unsafe is an essential design paradigm advocated by the Rust community in system software development. However, there is little official guidance or few best practices reg…