R
Vendor security profile
rocq-prover
Product portfolio, patch evidence and exploitation signals in a single security scorecard
The data is combined from the CVE Program, NVD, CISA KEV and vendor security advisories.
Total CVEs5
Critical0
CISA KEV0
Public exploit5
Patch rate%60
Avg. CVSS6.8
12-month vulnerability rate
0
0
0
0
0
0
0
0
0
5
0
0
CVE KEV
CVE severity distribution
5toplam CVE
Medium5 (100%)
Patch and exploitation view
%60
Verified patch
%0
CISA KEV
%100
Public exploit
3Patch available
0Partial
0Workaround
0Vendor: no patch
2Unknown
Latest vulnerabilities
6.8
CVE-2026-72714
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
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
6.8
CVE-2020-37268
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline
R
Patch status unknownEPSS %0