TY  - RPRT
TI  - UnsafeChecker: Finding Soundness Bugs in Rust Safe Abstractions
AU  - Xizhe Yin
AU  - Yaokun Zhang
AU  - Yang Feng
AU  - Baowen Xu
PY  - 2026
UR  - https://arxiv.org/abs/2609.09641
ID  - 2609.09641
ER  -