AWS 和 Rust 基金发起验证标准库的挑战赛

亚马逊 AWS 与 Rust 基金会于 11 月 20 日共同发起了一项社区挑战赛，旨在借助社区力量验证 Rust 标准库的安全性。

简单的说，Rust 程序的代码可以分为 safe 代码和 unsafe 代码，为什么会有 unsafe 代码？因为 safe 有限制，unsafe 告诉编译器放宽限制。那么，Rust 程序的 unsafe 代码是否安全就很重要了。

一个做法是，不让大家自己随便写 unsafe 片段，而是制定一些库，大家写 unsafe 代码的时候尽量调用这些基础库。这样，就可以花很多人力把这些库打造的比较安全，而且可靠性保障的任务就集中到了这些代码库。

所以，AWS 和 Rust 基金发起了这么一个验证标准库的挑战赛。

Verify the Safety of the Rust Standard Library https://aws.amazon.com/cn/blogs/opensource/verify-the-safety-of-the-rust-standard-library/

repo https://github.com/model-checking/verify-rust-std

更多独家技术见解与热门话题讨论，尽在【开源中国 APP】，与数百万开发者一起，随时随地探索技术无限可能。

未经允许不得转载：岩猫星空网 » AWS 和 Rust 基金发起验证标准库的挑战赛