C 语言漏洞的深层根源：语义不变量

A theory for decades of C vulnerabilities

C 语言数十年的安全漏洞并非偶然，其根源在于语言类型系统无法强制约束“语义不变量”。变量 `length` 或指针 `p` 在类型上只是数字或地址，但程序逻辑却依赖它们代表特定的缓冲区大小或对象生命周期。当这些隐含的语义关系（如 `length` 不超过 `extent(p)`）未被语言强制，而仅靠程序员维护时，整数溢出、缓冲区溢出、越界访问和 Use-after-free 等看似不同的漏洞，实则是同一链条上语义断裂的不同表现。文章指出，真正的内存安全不应仅靠操作规范，而应成为语言本身的属性，让语义不变量在编译期或运行期得到保障。