文件名称：miri:Rust的中级中间表示的解释器
文件大小：593KB
文件格式：ZIP
更新时间：2024-03-29 20:44:10
Rust
美里 的（MIR）的实验解释器。 它可以运行货物项目的二进制文件和测试套件，并检测某些类别的，例如： 超出范围的内存访问和释放后使用 无效使用未初始化的数据 违反内部先决条件（达到 ，调用具有重叠范围的 ，...） 没有足够对齐的内存访问和引用 违反某些基本类型的不变量（例如，不为0或1的bool或无效的枚举判别式） 实验性：违反管理参考类型别名的规则 实验性：数据竞争（但没有弱记忆效应） 最重要的是，Miri还会告诉您有关内存泄漏的信息：当执行结束时仍然分配有内存，并且无法从全局static变量访问内存时，Miri会引发错误。 您可以使用Miri在其他目标上模拟程序，例如，确保字节级数据操作在小端和大端系统上均能正常工作。 请参阅下面的。 Miri已经发现了一些。 如果您发现了Miri的错误，请告诉我们，我们将不胜感激，并将其添加到列表中！ 但是，请注意，Miri不会捕获