Miri：Rust的中间表示解释器

Miri：Rust的中间表示解释器

miri An interpreter for Rust's mid-level intermediate representation 项目地址: https://gitcode.com/gh_mirrors/mi/miri

项目基础介绍和主要编程语言

Miri是一个由Rust语言编写的开源项目，专门用于解释Rust的中间表示（Mid-level Intermediate Representation, MIR）。MIR是Rust编译器中的一种中间表示形式，Miri通过解释这种中间表示来执行Rust程序。该项目的主要编程语言是Rust，它充分利用了Rust的安全性和性能优势。

项目核心功能

Miri的核心功能是检测Rust程序中的未定义行为（Undefined Behavior, UB）。它能够运行二进制文件和cargo项目的测试套件，并检测出不安全的代码，这些代码未能满足其安全要求。具体来说，Miri可以检测以下类型的未定义行为：

• 内存越界访问和使用后释放
• 未初始化数据的使用
• 违反内部函数的前置条件（例如，调用unreachable_unchecked函数时未达到预期条件，或调用copy_nonoverlapping函数时范围重叠）
• 内存访问和对齐不足
• 违反基本类型不变性（例如，布尔值不是0或1，或者枚举的判别式无效）

此外，Miri还支持实验性的功能，如违反Stacked Borrows规则的别名管理，以及模拟弱内存效应的数据竞争检测。

项目最近更新的功能

Miri最近的更新包括但不限于以下功能：

• 跨平台解释：Miri现在可以跨平台解释程序，例如在Windows上运行时，可以使用--target x86_64-unknown-linux-gnu选项来模拟Linux程序的运行环境。
• 系统API支持：增加了对更多系统API的支持，如标准输出、环境变量访问和基本的文件系统访问。
• 非确定性执行：改进了对程序非确定性执行的支持，特别是在并发和多线程环境下，Miri能够测试更多可能的执行路径。
• 内存泄漏检测：增强了内存泄漏检测功能，能够在程序执行结束时检测到未释放的内存，并报告这些内存是否可从全局静态变量访问。

通过这些更新，Miri不仅增强了其检测未定义行为的能力，还扩展了其跨平台和系统API支持，使其成为一个更加全面和强大的Rust程序检测工具。

miri An interpreter for Rust's mid-level intermediate representation 项目地址: https://gitcode.com/gh_mirrors/mi/miri