編譯 | 蘇宓

出品 | CSDN（ID：CSDNnews）

都說 Rust 是內(nèi)存安全的編程語言，但現(xiàn)實正在敲響警鐘。

近日，Linux 內(nèi)核維護者 Greg Kroah-Hartman 在郵件列表中確認，主線 Linux 內(nèi)核中的一段 Rust 代碼被正式登記為 CVE 漏洞。

這也是 Linux 內(nèi)核 Rust 代碼首次獲得 CVE 編號，引發(fā)了社區(qū)的廣泛關注。

Linux 內(nèi)核 Rust 代碼首次出現(xiàn) CVE

這一漏洞出現(xiàn)在用 Rust 重寫的 Android Binder 驅(qū)動（rust_binder）中。由于其中包含被標注出來的 unsafe Rust 代碼，在特定并發(fā)場景下可能觸發(fā)競態(tài)條件，導致鏈表中 prev/next 指針發(fā)生內(nèi)存破壞，最終引發(fā)內(nèi)核崩潰。

Greg Kroah-Hartman 在公告中給出了問題代碼的核心片段，其包含了如下 unsafe 操作：

unsafe { node_inner.death_list.remove(self) };

這個操作之所以是不安全的，是因為在修改鏈表元素的 prev/next 指針時，必須確保沒有其他線程同時在并行訪問或修改這些指針。

如果該節(jié)點確實存在于 remove 所操作的那個鏈表中，那么這是安全的，因為我們對該鏈表擁有獨占訪問權；如果節(jié)點根本不在任何鏈表中，也同樣不會有問題。

但一旦節(jié)點實際上存在于另一個可能被并發(fā)訪問的鏈表中，那么在執(zhí)行 remove 操作時，就會引發(fā)數(shù)據(jù)競爭，直接破壞鏈表結(jié)構。

而遺憾的是，這里正好踩中了這種情況。

問題是如何觸發(fā)的？

據(jù) Greg Kroah-Hartman 的解釋，問題發(fā)生在 Node::release 的執(zhí)行流程中，大致步驟如下：

1. 獲取鎖；

2. 將原鏈表中的所有元素移動到一個位于棧上的本地鏈表；

3. 釋放鎖；

4. 遍歷這個本地鏈表進行處理。

當其他線程同時在原始鏈表上使用這個 unsafe 的 remove 方法時，就會導致 prev/next 指針發(fā)生內(nèi)存破壞，最終引發(fā)崩潰。

下面就是一次實際出現(xiàn)的崩潰示例：

針對這一問題，修復思路相對直接：修改 Node::release 的實現(xiàn)，不再先把元素整體移動到本地鏈表中，而是直接在原鏈表上逐個彈出并處理節(jié)點，從而避免并發(fā)訪問時破壞鏈表結(jié)構。

影響范圍

目前，Linux 內(nèi)核 CVE 團隊已為該問題分配編號CVE-2025-68260。

該 CVE 影響的是 Linux 6.18 及之后的版本，也就是引入 Rust Binder 驅(qū)動之后的內(nèi)核版本。

值得注意的是，這個問題目前“最多”只會導致系統(tǒng)崩潰，并不存在遠程代碼執(zhí)行等更嚴重的安全風險。

對于“Rust 內(nèi)核代碼首次出現(xiàn) CVE”這一節(jié)點性事件，Greg Kroah-Hartman 也給出了相對冷靜的評價：

Rust 并不是一顆能夠解決所有安全問題的“銀彈”，但它確實能在很大程度上提供幫助。隨著 Rust 在內(nèi)核代碼中的使用越來越廣泛，它有望消除 Linux 內(nèi)核中大量常見的漏洞類型。

......除了這個漏洞，同時也要注意，僅在今天，就有另外 159 個內(nèi)核 CVE 是針對 C 語言代碼部分的修復。因此，一如既往，想要整體上保持系統(tǒng)安全，最重要的仍然是及時升級到更新的內(nèi)核版本。

另外，也有不少網(wǎng)友對于 Rust 的安全性發(fā)表自己的見解：

• 如果 Rust 因為太死板，以至于必須使用 unsafe 才能解決問題，那責任仍然在 Rust 本身。你必須同時考慮安全 Rust 的行為以及必要的 unsafe 代碼。
  

• 任何認為僅僅把代碼重寫成 Rust 就能消除所有 bug 的人都是天真得無藥可救的。尤其是考慮到 Rust 允許使用 unsafe 操作。這并不意味著 Rust 相較于 C 沒有價值，只是它的價值并不是能完全消除 bug——而這也從來不是它所宣傳的賣點。

那么，你怎么看？

參考：

https://lore.kernel.org/all/2025121614-CVE-2025-68260-558d@gregkh/

https://news.ycombinator.com/item?id=46302621