CVE-2020-37268Kavram kanıtı (PoC) yayınlanmış · CISA
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline
CVSS Skor
6.8
EPSS İhtimal
%0.2
Risk Skoru
0.0
Yayın
1 ay önce
Public Exploits · GitHub ve Metasploit Intelligence
Bu sekme NVD’nin exploit olarak etiketlediği kaynakları, CVE kimliğiyle eşleşen GitHub depolarını ve Rapid7 Metasploit Framework modüllerini tarar. Yalnızca bulunan gerçek kaynak bağlantıları gösterilir.
Doğrulanmış public exploit kodu bulunamadı.
GitHub depoları, NVD exploit referansları ve Metasploit Framework tarandı. Aktif sömürü kaydı, public exploit kodunun yayınlandığı anlamına gelmez.
İlgili Benzer 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
Bu açığı API ile alın
Etkilenen ürünler, sürüm aralıkları, istismar durumu ve yama bilgisi tek istekte; ücretsiz anahtarla.
curl -H "x-api-key: $DAYBREACH_API_KEY" \ "https://api.enginteksut.com.tr/api/v1/intel/cves/CVE-2020-37268"