该ECOOP 2023论文探讨了将Rust集成到ARM Morello实验平台中，以在运行时强制实施内存安全，即使在`unsafe`代码块中也能提供保障。通过将Rust的类型系统与Morello的硬件内存安全特性相结合，该研究展示了一条不依赖纯软件检查即可消除常见内存损坏漏洞的路径。
背景
ARM Morello是一款专为评估硬件强制内存安全（HEMS）能力而设计的实验性AArch64开发平台。随着Rust在安全关键型系统编程中的普及，将其与新型安全架构相融合仍是当前的重要研究方向。
- 来源
- Lobsters
- 发布时间
- 2026年7月20日 22:33
- 评分
- 7.0 / 10