文件名称：MIRAI:Rust中级IR抽象口译员
文件大小：32.2MB
文件格式：ZIP
更新时间：2024-04-29 02:01:41
Rust
美来 MIRAI是编译器的（MIR）的抽象解释器。 它打算成为Rust广泛使用的静态分析工具。 使用MIRAI 您需要按照此处针对以及针对安装MIRAI。 要运行MIRAI，请使用RUSTC_WRAPPER设置为mirai货物。 使用rustup override set nightly-YYYY-MM-DD来使Cargo使用与MIRAI相同的Rust版本。 请参阅上面的安装说明，以确定要使用的版本。 如果您忘记这样做或使用错误的版本，则会看到一条错误消息，提示找不到动态加载库。 最简单的入门方法是先以常规方式构建项目（但有一个例外：设置RUSTFLAGS="-Z always_encode_mir"强制rust编译器将MIR包含到其编译输出中）。 有关编译货运项目的详细信息，请参考。 当没有编译错误，没有棉绒错误且没有测试失败时，您可以继续执行下一步并运行MIRAI。 例如：