CVE-2026-72714Proof of concept (PoC) published · CISA
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
CVSS score
6.8
EPSS probability
%0.2
Risk score
0.0
Published
1 mo ago
Public Exploits · GitHub and Metasploit Intelligence
This tab scans the sources that NVD labels as exploits, GitHub repositories matching the CVE identifier and Rapid7 Metasploit Framework modules. Only links to sources that were actually found are shown.
No verified public exploit code was found.
GitHub repositories, NVD exploit references and the Metasploit Framework were scanned. A record of active exploitation does not mean that public exploit code has been published.
Similar Vulnerabilities
6.8
CVE-2020-37268
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline
R
Patch status unknownEPSS %0
6.8
CVE-2026-72705
Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument
R
Patch verifiedEPSS %0
6.8
CVE-2026-72704
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
R
Patch verifiedEPSS %0
6.8
CVE-2026-72703
Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls
R
Patch verifiedEPSS %0
Get this vulnerability through the API
Affected products, version ranges, exploitation status and patch information in a single request, with a free key.
curl -H "x-api-key: $DAYBREACH_API_KEY" \ "https://api.daybreach.dev/api/v1/intel/cves/CVE-2026-72714"