CVE Listesine Dön
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

Overview (Genel Bakış)Public Exploits (0)Newsroom (Haberler)Vulnerability Timeline

İlgili Siber Güvenlik Haberleri (Newsroom)

Bu zafiyetin basında ve siber güvenlik yayın organlarında yer aldığı makaleler ve analiz bültenleri:

Bu CVE ile doğrulanmış bir haber henüz eşleşmedi.

İlgili Benzer Açıklar

Bu açığı API ile alın

Etkilenen ürünler, sürüm aralıkları, istismar durumu ve yama bilgisi tek istekte; ücretsiz anahtarla.

Ücretsiz anahtar alBelgeler
curl -H "x-api-key: $DAYBREACH_API_KEY" \
  "https://api.daybreach.dev/api/v1/intel/cves/CVE-2020-37268"