CVE records
Every CVE as the CVE Program publishes it, refreshed every ten minutes, with NVD's analysis, CISA's known-exploited status and a healthcare tag. Subscribers get the CVEs that match their own systems on My program, by email as they are published. Where the data comes from: sources.
Updated under an hour ago ()
What this means for you
This week: 5,437 CVEs published, 355 critical, and 7 newly confirmed exploited. Add your stack to see whether any of them hit you.
Do this next
Free account, 1 product
- Published in the last 7 days
- 5,437
- Show in the list
- Critical, last 7 days
- 355
- Show in the list
- Healthcare-tagged, last 7 days
- 4
- Show in the list
- Known exploited (CISA KEV)
- 1,747
- Show in the list
Showing CVEs that name the product rocq_prover:rocq. Show all products
| CVE | Severity | Title | Published |
|---|---|---|---|
| CVE-2026-72714 | Medium 6.3 | Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close Assigned by VulnCheck | Aug 24, 2026 |
| CVE-2026-72705 | Medium 6.3 | Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument Assigned by VulnCheck | Aug 24, 2026 |
| CVE-2026-72704 | Medium 6.3 | Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport Assigned by VulnCheck | Aug 24, 2026 |
| CVE-2026-72703 | Medium 6.3 | Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls Assigned by VulnCheck | Aug 24, 2026 |
| CVE-2020-37268 | Medium 6.3 | Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline Assigned by VulnCheck | Aug 24, 2026 |
CVSS is the assigning CNA's score where it gives one, otherwise NVD's. The healthcare tag is a documented heuristic (a list of clinical and health IT vendors, and clinical terms in the description), not a classification. The CVE record is authoritative.