Linux內核4.17再獲捷報

據外媒報道，Linux Kernel 4.17 最近得到了一批 x86/pti 更新，其中包含針對 Meltdown 和 Spectre CPU漏洞的最新緩解改進。這個最新的 pull request 包含幾個修復，其中包括可能的死鎖修復，也有一些關於 Spectre Variant One 的訪問限制。

與最近針對 Linux 聲音驅動程序的 Specter V1 修復程序相似，這些內核代碼最新的索引修復程序經過 Smatch 發現。

設計用於分析 Linux 內核代碼的 Smatch 靜態分析工具最近選擇了支持發現可能存在的潛在的 Specter 漏洞以及繞過邊界檢查。有興趣的者能夠在這裏找到最新的 Smatch 代碼。

Linux 4.17 內核的更新/修復列表能夠經過這個 pull request 請求找到。