rocq-prover vulnerabilities
5 published CVEs name rocq-prover among the affected products.
- 5Published CVEs5 of them scored
- 5Last 12 monthspublished in the last year
- 0Critical0 more rated high
- 0Known exploitedin CISA's KEV catalog
Newest CVEs
- CVE-2026-72714
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
rocq-prover · rocq
Medium6.8 - CVE-2026-72705
Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument
rocq-prover · rocq
Medium6.8 - CVE-2026-72704
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
rocq-prover · rocq
Medium6.8 - CVE-2026-72703
Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls
rocq-prover · rocq
Medium6.8 - CVE-2020-37268
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline
rocq-prover · rocq
Medium6.8