Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming
Mohan Cui, Shuran Sun, Hui Xu, Yangfan Zhou
Abstract
Rust is an emerging, strongly-typed programming language focusing on efficiency and memory safety. With increasing projects adopting Rust, knowing how to use Unsafe Rust is crucial for Rust security. We observed that the description of safety requirements needs to be unified in Unsafe Rust programming. Current unsafe API documents in the standard library exhibited variations, including inconsistency and insufficiency. To enhance Rust security, we suggest unsafe API documents to list systematic descriptions of safety requirements for users to follow.
Topics & Concepts
Rust (programming language)Computer scienceComputer securityMemory safetyProgramming languageSoftwareSoftware Reliability and Analysis ResearchSoftware Testing and Debugging TechniquesSoftware Engineering Research