TY  - RPRT
TI  - Annotating and Auditing the Safety Properties of Unsafe Rust
AU  - Zihao Rao
AU  - Jiping Zhou
AU  - Hongliang Tian
AU  - Xin Wang
AU  - Hui Xu
PY  - 2026
UR  - https://arxiv.org/abs/2504.21312
ID  - 2504.21312
ER  -