美里 的（MIR）的实验解释器。 它可以运行货物项目的二进制文件和测试套件，并检测某些类别的，例如： 超出范围的内存访问和释放后使用 无效使用未初始化的数据 违反内部先决条件（达到 ，调用具有重叠范围的 ，...） 没有足够对齐的内存访问和引用 违反某些基本类型的不变量（例如，不为0或1的bool或无效的枚举判别式） 实验性：违反管理参考类型别名的规则 实验性：数据竞争（但没有弱记忆效应） 最重要的是，Miri还会告诉您有关内存泄漏的信息：当执行结束时仍然分配有内存，并且无法从全局st