Rust型別檢查漏洞藏近11年,違反記憶體安全限制的程式仍可通過編譯

Rust編譯器被發現存在記憶體安全漏洞,開發者在GitHub通報,即使程式未使用unsafe關鍵字,仍可繞過生命周期檢查,讓原本應被拒絕的程式通過編譯,執行時可能存取已失效的記憶體。Rust團隊已將問題列為高優先級,目前修補尚未完成。
Rust透過所有權與借用檢查,限制程式參照資料的有效時間,避免資料失效後仍被讀取。依照設計,不符合生命周期限制的程式應在編譯階段遭到阻止,未使用unsafe的Rust程式碼,原則上不應產生這類記憶體安全問題。

發佈留言

發佈留言必須填寫的電子郵件地址不會公開。 必填欄位標示為 *