On the Dual Nature of Necessity in Use of Rust Unsafe Code
Yuchen Zhang, Ashish Kundu, Georgios Portokalidis, Jun Xu
Abstract
Rust offers both safety guarantees and high performance. Thus, it has gained significant popularity in the industry. To extend its capability as a system programming language, Rust allows unsafe blocks where the execution has low-level controls but loses the safety guarantees. In principle, unsafe blocks should only be used when necessary. However, preliminary evidence shows a different situation. This paper aims to establish a deeper view of this matter and bring endeavors toward improvement.
Topics & Concepts
PopularityRust (programming language)Dual (grammatical number)Computer scienceCode (set theory)Computer securityRisk analysis (engineering)BusinessProgramming languagePolitical scienceArtSet (abstract data type)LawLiteratureSoftware Reliability and Analysis ResearchSoftware Testing and Debugging TechniquesReliability and Maintenance Optimization