[$] 用 Charon 分析 Rust 程序

Rust 长期贡献者、rustc 模式匹配基础设施维护者 Nadrieril 发起的 Charon 项目，为访问 Rust 编译器内部信息提供稳定 API，以解决难以自动从 Rust crate 提取信息供其他工具使用的问题。