Annotating and Auditing the Safety Properties of Unsafe Rust

Zihao Rao, Jiping Zhou, Hongliang Tian +2

In Rust, unsafe code is the sole source of potential undefined behaviors. To avoid misuse, Rust developers should clarify the safety properties for each unsafe API. However, the co…