亞馬遜 AWS 與 Rust 基金會于 11 月 20 日共同發(fā)起了一項社區(qū)挑戰(zhàn)賽,旨在借助社區(qū)力量驗證 Rust 標準庫的安全性。盡管 Rust 語言以安全性著稱,但開發(fā)者可以通過 unsafe 聲明繞過其安全機制,用于執(zhí)行操作系統(tǒng)級功能調(diào)用或低級內(nèi)存操作等高性能任務,而相應 unsafe 部分“尚未經(jīng)過徹底的安全驗證”。為了驗證相應標準庫安全性,AWS 與 Rust 基金會聯(lián)合推出了一系列挑戰(zhàn)賽,聚焦于內(nèi)存安全驗證以及 Rust 標準庫中未定義行為的檢測。