让大模型合成检查器:UIUC团队挖出Linux内核90余个长期潜伏漏洞
让大模型合成检查器:UIUC团队挖出Linux内核90余个长期潜伏漏洞最近的报道指出,OpenAI 的 o3 模型已经在 Linux 内核中发现了一个零日漏洞;而本文的 KNighter 更进一步,通过自动生成静态分析检查器,把模型的洞察沉淀为工程可用、用户可见的逻辑规则,实现了规模化的软件漏铜、缺陷挖掘。
来自主题: AI技术研报
8298 点击 2025-09-28 16:59
搜索
最近的报道指出,OpenAI 的 o3 模型已经在 Linux 内核中发现了一个零日漏洞;而本文的 KNighter 更进一步,通过自动生成静态分析检查器,把模型的洞察沉淀为工程可用、用户可见的逻辑规则,实现了规模化的软件漏铜、缺陷挖掘。