Charon: An Analysis Framework for Rust

Son Ho, Guillaume Boisseau, Lucas Franceschino +3

With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosyst…