@misc{indiciaeca776775eaf3,
  title = {UnsafeChecker: Finding Soundness Bugs in Rust Safe Abstractions},
  author = {Xizhe Yin and Yaokun Zhang and Yang Feng and Baowen Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2609.09641},
  note = {Source identifier: 2609.09641}
}