Browse all 5 CVE security advisories affecting rocq-prover. AI-powered Chinese analysis, POCs, and references for each vulnerability.
| CVE ID | Title | CVSS | Severity | Published |
|---|---|---|---|---|
| CVE-2026-72714 | Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close — rocq CWE-459 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72705 | Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument — rocq CWE-670 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72704 | Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport — rocq CWE-670 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72703 | Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls — rocq CWE-670 | 6.3 | Medium | 2026-08-24 |
| CVE-2020-37268 | Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline — rocq CWE-778 | 6.3 | Medium | 2026-08-24 |
This page lists every published CVE security advisory associated with rocq-prover. Each entry links to a detailed page with CVSS scoring, CWE classification, affected products and references. AI-generated Chinese analysis is provided for fast triage.