**利用LLM验证消除Linux网络栈nftables中的关键漏洞**

_Using LLM-Based Verification to Eliminate Bugs in Linux's Network Stack_

> Basis团队使用大语言模型对Linux核心防火墙组件nftables进行形式化验证，成功发现并修复了两个自2022年起潜伏多年的严重语义错误。该研究证明，LLM正逐渐成为自动化构建安全关键基础设施的有效工具，能够以较低成本实现传统形式化验证难以企及的覆盖率。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-07-20 21:52（北京时间）
- **原文**：[打开原文](https://www.basis.ai/blog/verified-nftables)