What’s Vulnerable › Products

rocq-prover rocq vulnerabilities

5 known vulnerabilities, 0 confirmed exploited in the wild (CISA KEV), 5 published in the last 12 months.

Check whether your rocq-prover rocq version is affected

Latest rocq-prover rocq vulnerabilities

• CVE-2026-72714 — Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close (CVSS 6.3)
• CVE-2026-72705 — Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument (CVSS 6.3)
• CVE-2026-72704 — Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport (CVSS 6.3)
• CVE-2026-72703 — Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls (CVSS 6.3)
• CVE-2020-37268 — Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline (CVSS 6.3)