安全研究人员Jakub Ciolek在Go 1.26.1及之前版本中发现两个编译器漏洞，仅使用安全Go代码即可破坏内存安全保证，实现控制流劫持和任意代码执行。漏洞存在于编译器的证明优化传递和循环边界检查消除逻辑中。这表明内存安全依赖于整个工具链而不仅仅是语言语义。
背景
Go语言通过类型系统和运行时检查承诺内存安全性，但编译器实现漏洞可能破坏这些保证。证明传递是基于静态分析消除冗余边界检查的关键优化组件。
- 来源
- Lobsters
- 发布时间
- 2026年4月8日 07:35
- 评分
- 8.0 / 10
安全研究人员Jakub Ciolek在Go 1.26.1及之前版本中发现两个编译器漏洞，仅使用安全Go代码即可破坏内存安全保证，实现控制流劫持和任意代码执行。漏洞存在于编译器的证明优化传递和循环边界检查消除逻辑中。这表明内存安全依赖于整个工具链而不仅仅是语言语义。
Go语言通过类型系统和运行时检查承诺内存安全性，但编译器实现漏洞可能破坏这些保证。证明传递是基于静态分析消除冗余边界检查的关键优化组件。