Rust 安全团队公告:Miri 会将环境变量写入 target/ 目录,若 CI 缓存该目录且 PR 可读,密钥可能通过 PR 工作流泄露。修复方案是仅保留 CARGO_* 与 OUT_DIR 环境变量,自 nightly 2026-09-22 起生效。文章还讨论了命名参数的设计取舍、enum 适合编译器实现,以及用 Loom 复现无锁栈的 ABA 问题。
Rust安全团队发现Miri会将所有环境变量存入target/目录,若该目录被GitHub Actions缓存,攻击者可通过PR读取缓存中的密钥。已发布修复,仅保留CARGO_*(除TOKEN)和OUT_DIR变量。建议检查CI配置、清除缓存并轮换密钥。
Miri Technologies Inc. 发布了 V410 4K 实时视频编码器/解码器,支持 60 帧每秒的 4K 输出,具备 HDMI、3G-SDI 和 USB 接口,操作简便,适合各类用户。它支持多种编码解码格式和协议,具备内置 Wi-Fi 7 和双千兆以太网接口,现已发售。
Miri在过去三年取得显著进展,论文《Miri: Practical Undefined Behavior Detection for Rust》被POPL'26接收,增强了多平台API支持,改进了错误提示和性能,并集成了GenMC进行模型检查。Parcode实现了真正的惰性持久化,优化了大文件访问效率。Rust音频库cpal更新,提升了设备ID稳定性和并发性能。
Datadog将其静态分析器从Java迁移到Rust,将分析时间缩短了三倍,并消除了对JVM的依赖。大约20%的Rust crates使用“unsafe”关键字,通常用于调用非Rust代码或库。Rust Foundation开发了像Miri这样的工具来维护生态系统的安全性。文章还讨论了使用鸢尾花数据集将CSV数据集加载到NDArray中的示例。
该文讨论了实现堆栈借用和Miri的使用,但作者认为难以理解。询问是否在编写不安全代码之前需要了解这些内容,以及如何高效编写和检查不安全代码。
完成下面两步后,将自动完成登录并继续当前操作。