软件工程论文速递 | 26.11.04 日报: 24篇新

今天推荐的内容包括存储系统、机密 AI、Rust 验证和程序修复，直接上干货：

机密 AI 怎么防数据乱跑：CORDE 系统要求数据出虚拟机前必须先“声明”内容和理由。实测在 H100 上只增加约 0.5% 延迟，既保隐私又不耽误事。

Rust 底层机制被彻底扒透：下一代借用检查算法 Polonius 首次被完整形式化验证。证明只要代码通过检查，运行时就绝对不会访问无效引用。

AI 找漏洞的滤镜碎了：PrimeVul 数据集微调模型做漏洞检测，各项指标看着挺美。但安全关键指标完全不行，根因是数据集本身标注噪声太大。

让模糊测试不停摆：FuzzMedic 智能体专门修 OSS-Fuzz 的构建故障。不仅修复率接近一半，还顺手解决了三个拖了一年的老毛病。