R
Üretici güvenlik profili
rocq-prover
Ürün portföyü, yama kanıtları ve sömürü sinyalleri tek güvenlik karnesinde
Veriler CVE Programı, NVD, CISA KEV ve üretici güvenlik bültenlerinden birleştirilir.
Toplam CVE5
Kritik0
CISA KEV0
Public exploit5
Yama oranı%60
Ort. CVSS6.8
12 aylık açık hızı
0
0
0
0
0
0
0
0
0
5
0
0
CVE KEV
CVE önem dağılımı
5toplam CVE
Orta5 (100%)
Yama ve sömürü görünümü
%60
Doğrulanmış yama
%0
CISA KEV
%100
Public exploit
3Yama var
0Kısmi
0Geçici çözüm
0Üretici: yama yok
2Bilinmiyor
Son güvenlik açıkları
6.8
CVE-2026-72714
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
R
Yama durumu bilinmiyorEPSS %0
6.8
CVE-2026-72705
Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument
R
Yama doğrulandıEPSS %0
6.8
CVE-2026-72704
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
R
Yama doğrulandıEPSS %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
Yama doğrulandıEPSS %0
6.8
CVE-2020-37268
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline
R
Yama durumu bilinmiyorEPSS %0