AeneasVerif/charon

AeneasVerif/charon is a Rust analysis framework that enables deep inspection of Rust crates without relying on or modifying the compiler's internals. By leverag