Antiproof 零日漏洞发现系统

加州大学伯克利分校提出 Antiproof，通过神经符号检测器合成和可执行攻击证明，自动发现并验证零日漏洞。