Annotating and Auditing the Safety Properties of Unsafe Rust

Zihao Rao, Jiping Zhou, Hongliang Tian, Xin Wang, Hui Xu

Published in arXiv, 2025

Paper