关注最新报道、解读和相关科技故事。
David Chisnall解释了CHERI架构如何利用硬件能力保护指针、强制实施内存边界和权限,从而为使用C和C++编写的软件提供空间和时间安全性,而无需大规模重写代码。演讲还将这一机制与在系统组件之间构建精细化隔离的可能性联系起来,使组件能够直接共享数据结构,而不是完全依赖传统的RPC机制。
Google 表示,与 C 和 C++ 代码相比,在 Android 中采用 Rust 已将内存安全漏洞密度降低了 1000 多倍,同时 Rust 变更的回退率更低,代码审查所需时间也更短。其分析还介绍了 Rust 向内核、固件和 Google 应用的扩展,以及一次险些进入公开版本的漏洞所带来的经验教训。