Advisories · Technology
rocq.
Every CVE that names rocq among its affected products, newest first. Vendors and products are as the CNA wrote them; check the affected versions on each record.
- CVSS 6.8 Medium
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
- rocq
- CWE-459
- CVSS 6.8 Medium
Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument
- rocq
- CWE-670
- CVSS 6.8 Medium
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
- rocq
- CWE-670
- CVSS 6.8 Medium
Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls
- rocq
- CWE-670
- CVSS 6.8 Medium
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline
- rocq
- CWE-778