成果分享 | 语言级内存安全技术研究综述

突破长期依赖运行时防御的传统范式,系统软件安全和可靠性研究组从语言设计的根源切入,构建了业界首个涵盖“语法约束”与“语义校验”双维度的系统化知识(SoK)图谱