本文揭示Rust类型系统存在健全性漏洞,可在完全不使用unsafe的稳定版Rust中实现任意代码执行。漏洞源于类型检查器处理循环关联类型时的缺陷,可伪造类型相等证明实现类似transmute的功能。该漏洞已存在11年,标记为P-medium优先级,修复需重构特征求解器。第三方crate可能悄悄引入此问题,常规安全检查手段难以发现。
网络安全文章















