Charon: An Analysis Framework for Rust. - Son Ho; Guillaume Boisseau; Lucas Franceschino; Yoann Prak; Aymeric Fromherz; Jonathan Protzenko (CAV (4), 2025)