Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability

Antiproof 是一个端到端的漏洞发现系统，旨在同时实现高召回率和可靠自动验证，解决现有方法在成本和效果之间的权衡。系统核心结合了神经符号检测器合成（neuro-symbolic detector synthesis）和可利用性证明预言

历史摘要 · 未重新核验 · arXiv cs.CR