TY  - RPRT
TI  - Charon: An Analysis Framework for Rust
AU  - Son Ho
AU  - Guillaume Boisseau
AU  - Lucas Franceschino
AU  - Yoann Prak
AU  - Aymeric Fromherz
AU  - Jonathan Protzenko
PY  - 2025
UR  - https://arxiv.org/abs/2410.18042
ID  - 2410.18042
ER  -