Rocq Prover < 9.2.0 Guard Checker Recursive Validation Bypass via Fixpoint CVE-2026-72705
Referenced CVEs:
CVE-2026-72705 · 6.3
文章内图片已隐藏以节省流量 · Upgrade to Pro to view images & offline archive
This content was auto-fetched from www.vulncheck.com, cleaned by our LLM pipeline, and translated to English. View original.