code-proof

Basis 的研究人员利用 LLM 对 Linux 的 nftables 防火墙进行了正式验证，发现了自2022年以来所有版本中存在的两个关键漏洞，并生成了一个无这些漏洞的经过验证的实现。