Rust 在嵌入式安全中的作用

这篇内容为安全团队开展监测、验证和修复提供最新背景。

Trail of Bits 测试手册新增 Rust 安全测试章节：涵盖 Miri 未定义行为检测、属性测试、Clippy 与变异测试、内存清零、Kani 模型检查及依赖审查，并发布 Claude Code 插件 rust-review 用于自动化安全评审。

Wiz 运行时传感器 Windows 版 GA：为 Windows VM 与 Kubernetes 节点带来实时威胁检测；最小化内核足迹与 Rust 内存安全实现可避免内核崩溃与代理负担，适合关键业务服务器。

OtterSec 追踪 Solana SDK 中 AccountInfo::realloc 的隐蔽缺陷——unsafe 块中缺乏边界检查的指针运算；文章详解 BPF loader ABI 机制及审计发现过程。

研究者利用 Qiling 框架仿真 UEFI 环境并逆向 BIOS 中的 PNG 解码器，通过伪造 IDAT chunk 长度触发缓冲区越读（与 LogoFail 相关），演示了启动过程中敏感信息泄露的固件攻击面。

NetSPI 用 AI 编码工具「vibe coding」构建了一个 Web 应用并进行安全测试，结果好坏参半，说明 AI 生成代码仍需主动安全审查。