編譯 | 蘇宓

出品 | CSDN（ID：CSDNnews）

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

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

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

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

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

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

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

這個(gè)操作之所以是不安全的，是因?yàn)樵谛薷逆湵碓氐?prev/next 指針時(shí)，必須確保沒(méi)有其他線(xiàn)程同時(shí)在并行訪問(wèn)或修改這些指針。

如果該節(jié)點(diǎn)確實(shí)存在于 remove 所操作的那個(gè)鏈表中，那么這是安全的，因?yàn)槲覀儗?duì)該鏈表?yè)碛歇?dú)占訪問(wèn)權(quán)；如果節(jié)點(diǎn)根本不在任何鏈表中，也同樣不會(huì)有問(wèn)題。

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

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

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

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

1. 獲取鎖；

2. 將原鏈表中的所有元素移動(dòng)到一個(gè)位于棧上的本地鏈表；

3. 釋放鎖；

4. 遍歷這個(gè)本地鏈表進(jìn)行處理。

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

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

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

影響范圍

目前，Linux 內(nèi)核 CVE 團(tuán)隊(duì)已為該問(wèn)題分配編號(hào)CVE-2025-68260。

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

值得注意的是，這個(gè)問(wèn)題目前“最多”只會(huì)導(dǎo)致系統(tǒng)崩潰，并不存在遠(yuǎn)程代碼執(zhí)行等更嚴(yán)重的安全風(fēng)險(xiǎn)。

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

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

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

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

• 如果 Rust 因?yàn)樘腊?，以至于必須使?unsafe 才能解決問(wèn)題，那責(zé)任仍然在 Rust 本身。你必須同時(shí)考慮安全 Rust 的行為以及必要的 unsafe 代碼。
  

• 任何認(rèn)為僅僅把代碼重寫(xiě)成 Rust 就能消除所有 bug 的人都是天真得無(wú)藥可救的。尤其是考慮到 Rust 允許使用 unsafe 操作。這并不意味著 Rust 相較于 C 沒(méi)有價(jià)值，只是它的價(jià)值并不是能完全消除 bug——而這也從來(lái)不是它所宣傳的賣(mài)點(diǎn)。

那么，你怎么看？

參考：

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

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