01 Record
CVE-2026-72714
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
MediumPUBLISHEDCNA: VulnCheck
CNA base score6.8 CVSS v4.0CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
02 Description
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
03 Exploitation and scoring
- Exploitation
- Public exploit code exists. CISA's assessment records a public proof of concept. That is not a report of exploitation in the wild.
- SSVC decision
- ExploitationpocPublic proof-of-concept exploit code exists. Not a report of exploitation in the wild.
- AutomatablenoAt least one step from reconnaissance to exploitation cannot be reliably automated.
- Technical ImpactpartialSuccessful exploitation gives limited control of the vulnerable component.
- EPSS probability
- 0.17% probability of exploitation activity in the next 30 days.
- EPSS percentile
- Equal to or higher than the score of 7.0% of scored records. A rank, not a probability.
- NVD base score
- 6.8 (CVSS v4.0), scored by the NVD independently of the CNA.
- NVD CVSS vector
- CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X
- NVD analysis status
- Deferred. NVD last modified this record on 2026-10-26.
- Red Hat severity
- No Red Hat rating. Red Hat rates the CVEs that affect its products.
Exploit-prediction scores from FIRST. Independent scoring and analysis status from the NVD. Vendor severity from Red Hat. Exploitation assessment and catalog membership from CISA.
04 Metadata
- Published
- 2026-08-24 20:08Z2 MO AGO
- Last updated
- 2026-10-26 01:23Z3 DAYS AGO
- Reserved
- 2026-08-10
- Assigning CNA
- VulnCheck
- Record state
- PUBLISHED
- Severity
- Medium (CVSS 6.8)
- CNA CVSS vector
- CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
- Weaknesses
- CWE-459Incomplete CleanupBase
- Data version
- 5.2
- Document digest
- 3f53c57c85564c8875c443dbb789c91ecff81beea83adc3762e07455237124c1
05 Affected products
VendorProductVersionsPlatforms
06 References
- github.comhttps://github.com/rocq-prover/rocq
- github.comhttps://github.com/rocq-prover/rocq/issues/22287
- github.comhttps://github.com/endrazine/rocq-cve-poc-22287
- www.vulncheck.comVulnCheck Advisory: Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Closehttps://www.vulncheck.com/advisories/rocq-prover-through-universe-checking-state-desynchronised-after-module-close
- www.openwall.comhttp://www.openwall.com/lists/oss-security/2026/10/26/7