All 5 CVE vulnerabilities found in rocq, with AI-generated Chinese analysis, references, and POCs.
Vendor: rocq-prover
| CVE ID | Title | CVSS | Severity | Published |
|---|---|---|---|---|
| CVE-2026-72714 | Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close 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 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 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 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 CWE-778 | 6.3 | Medium | 2026-08-24 |
All 5 known CVE vulnerabilities affecting rocq with full Chinese analysis, references, and POCs where available.