与最近针对Linux声音驱动程序的SpecterV1修复程序类似，这些内核代码最新的索引修复程序通过Smatch发现。

设计用于分析Linux内核代码的Smatch静态分析工具最近选择了支持发现可能存在的潜在的Specter漏洞以及绕过边界检查。有兴趣的开发者可以在这里找到最新的Smatch代码。

Linux4.17内核的更新/修复列表可以通过这个pullrequest 请求找到。