TY  - RPRT
TI  - Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust
AU  - Jie Zhou
AU  - Mingshen Sun
AU  - John Criswell
PY  - 2024
UR  - https://arxiv.org/abs/2310.10298
ID  - 2310.10298
ER  -