Fil-C: Garbage In, Memory Safety Out [video]

Fil-C：垃圾输入，内存安全输出 [视频]

HN 130 分 · 128 条评论 · 作者 Bootvis · 来源 www.youtube.com · HN 讨论

【摘要】

原文抓取失败，摘要暂不可用，请访问原文链接。

【评论】共 131 条 · 按 HN 热度顺序 · 楼中楼缩进展示

1L @JoelJacobson · 2026-07-25 15:33

I was amazed by the presentation all the way up until 33:47, where the buggy program compiles and only errors out when the invalid access is executed. So apparently Fil-C enforces memory safety dynamically at run-time , rather than detecting these bugs at compile-time .

⋯ 继续阅读请登录会员 ⋯