Rust借用检查器发现潜伏11年的健全性漏洞

📋总体概括

Rust社区披露了存在于借用检查器中的健全性漏洞，追溯发现其历史长达11年，相关讨论已提交至rust-lang官方仓库并引发Hacker News关注。该漏洞允许在不安全前提下绕过借用检查器 guarantees，属于影响Rust内存安全承诺核心的编译器缺陷。虽然这类soundness bug通常可通过unsafe代码或特定类型系统边缘场景触发，实际被恶意利用的概率低，但事件提醒业界：即便以内存安全著称的Rust，其安全保证仍依赖编译器实现的正确性，长期潜伏的漏洞也说明形式化验证的边界仍远未完善。