Cake 静态分析为 C 语言加所有权与空值检查

thradams 发布 Cake 0.15.28 的所有权、可空性与初始化静态分析教程。该版本通过 _Opt、_Owner、_Out、_Dtor、_Clear、_Uninitialized、_View 等注解，在 C 代码中声明所有权、可空性和初始化契约，再用流分析检查调用双方是否遵守。 这些检查默认关闭，需在文件开头写 #pragma safety enable 才会启用；教程中的示例可用 cake 编译，也可在在线 playground 运行。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。